|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7593 occurrences of 4116 keywords
|
|
|
Results
Found 16707 publication records. Showing 16707 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
52 | Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu |
Parametric regular path queries. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
data tructures, graph query languages, optimization, algorithms, model checking, program analysis, regular expressions, memoization, precomputation, regular path queries |
52 | Marie-Pierre Béal, Dominique Perrin |
On the generating sequences of regular languages on k symbols. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
Generating sequences, rational sequences, regular sequences, regular languages |
51 | Abhishek Mitra, Walid A. Najjar, Laxmi N. Bhuyan |
Compiling PCRE to FPGA for accelerating SNORT IDS. |
ANCS |
2007 |
DBLP DOI BibTeX RDF |
deep payload inspection, nondeterministic nite automata, intrusion detection system, regular expressions |
48 | Anthony Cox, Maryanne Fisher |
Examining Programmer's Cognitive Skills Using Regular Language. |
ACHI |
2008 |
DBLP DOI BibTeX RDF |
cognitive skills, programming skills, program comprehension, formal language, regular expressions, regular languages |
48 | Heping Zhang |
Regular Coronoids and Ear Decompositions of Plane Elementary Bipartite Graphs. |
CJCDGCGT |
2005 |
DBLP DOI BibTeX RDF |
Regular coronoid, normal coronoid, plane elementary bipartite graph, regular decomposition, perfect matching, ear decomposition |
48 | Lucian Ilie, Sheng Yu 0001 |
Constructing NFA s by Optimal Use of Positions in Regular Expressions. |
CPM |
2002 |
DBLP DOI BibTeX RDF |
right-invariant equivalence, $varepsilon$-elimination, algorithms, regular expressions, positions, partial derivatives, quotients, regular expression matching, nondeterministic finite automata |
48 | Lucian Ilie, Baozhen Shan, Sheng Yu 0001 |
Fast Algorithms for Extended Regular Expression Matching and Searching. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
extended regular expressions, algorithms, complexity, pattern matching, finite automata |
44 | Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi |
Regular Vacuity. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Ramón Béjar, Felip Manyà |
A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas. |
ESCQARU |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Joshua J. Cogliati, Frances W. Goosey, Michael T. Grinder, Bradley A. Pascoe, Rockford J. Ross, Cheston J. Williams |
Realizing the promise of visualization in the theory of computing. |
ACM J. Educ. Resour. Comput. |
2005 |
DBLP DOI BibTeX RDF |
hypertextbook, learning applets, active learning, Computer science education, regular expressions, finite state automata, regular languages, theory of computing, regular grammars |
41 | Viliam Geffert, Carlo Mereghetti, Beatrice Palano |
More Concise Representation of Regular Languages by Automata and Regular Expressions. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
regular expressions, descriptional complexity, Pushdown automata, straight line programs |
41 | Sergey A. Afonin |
The View Selection Problem for Regular Path Queries. |
LATIN |
2008 |
DBLP DOI BibTeX RDF |
view selection problem, semigroups of regular languages, regular path queries |
41 | Li Sheng, Yongming Li 0001 |
Regular grammars with truth values in lattice-ordered monoid and their languages. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy finite automata, Fuzzy regular grammar, Fuzzy regular language, Lattice-ordered monoid |
41 | Ioannis Sourdis, João Bispo, João M. P. Cardoso, Stamatis Vassiliadis |
Regular Expression Matching in Reconfigurable Hardware. |
J. Signal Process. Syst. |
2008 |
DBLP DOI BibTeX RDF |
network security, pattern matching, regular expression, reconfigurable hardware |
41 | Sailesh Kumar, Sarang Dharmapurikar, Fang Yu 0002, Patrick Crowley, Jonathan S. Turner |
Algorithms to accelerate multiple regular expressions matching for deep packet inspection. |
SIGCOMM |
2006 |
DBLP DOI BibTeX RDF |
regular expressions, DFA, deep packet inspection |
41 | Yanxi Liu 0001, Wen-Chieh Lin, James Hays |
Near-regular texture analysis and manipulation. |
ACM Trans. Graph. |
2004 |
DBLP DOI BibTeX RDF |
deformation field, near-regular texture, texture manipulation, texture replacement, texture synthesis, texture analysis |
41 | J. Divyasree, H. Rajashekar, Kuruvilla Varghese |
Dynamically reconfigurable regular expression matching architecture. |
ASAP |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Anne Brüggemann-Klein, Derick Wood |
Deterministic Regular Languages. |
STACS |
1992 |
DBLP DOI BibTeX RDF |
Classification Automata and formal languages, esp. formal models in document processing |
40 | Attila Kondacs, John Watrous |
On the Power of Quantum Finite State Automata. |
FOCS |
1997 |
DBLP DOI BibTeX RDF |
quantum finite state automata, non-regular language, finite automata, finite state automata, regular languages |
40 | Till Plewe |
Quotient Maps of Locales. |
Appl. Categorical Struct. |
2000 |
DBLP DOI BibTeX RDF |
closed surjections, simple coverings, singly generated frame extensions, extremal epimorphisms, regular epimorphisms, quotient maps, weak quotient maps, equationally closed subframes, locales |
38 | Josep Rifà-Coma |
On a Categorial Isomorphism between a Class of Completely Regular Codes and a Class of Distance Regular Graphs. |
AAECC |
1990 |
DBLP DOI BibTeX RDF |
|
37 | Xin Li 0009, Marc Moreno Maza, Wei Pan 0001 |
Computations modulo regular chains. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
fast polynomial arithmetic, regular chain, regular gcd, polynomial systems, triangular decomposition, subresultants |
37 | Wen-Chieh Lin, Yanxi Liu 0001 |
A Lattice-Based MRF Model for Dynamic Near-Regular Texture Tracking. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Near-regular texture, dynamic near-regular texture tracking, texture replacement, visual tracking, video editing, model-based tracking |
37 | Artur Jez |
Conjunctive Grammars Can Generate Non-regular Unary Languages. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
Conjunctive grammars, unary alphabet, non-regular languages, regular languages |
37 | Akira Hiraki, Jack H. Koolen |
A Note on Regular Near Polygons. |
Graphs Comb. |
2004 |
DBLP DOI BibTeX RDF |
Regular near polygon, Distance-regular graph |
37 | François Lustman |
Specifying Transaction-Based Information Systems with Regular Expressions. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
transaction-based information systems, interactive information systems, transformational paradigm, classical Waterfall development model, transaction-oriented method, concurrent regular expressions, operational requirements, connect/disconnect transactions, all-or-nothing principle, serial product automaton, concurrent expression, formal specification, formal specification, information systems, systems analysis, systems analysis, transaction processing, formal language, regular expressions, software specification, SPA, high-level specification |
37 | Jarke J. van Wijk |
Symmetric tiling of closed surfaces: visualization of regular maps. |
ACM Trans. Graph. |
2009 |
DBLP DOI BibTeX RDF |
regular maps, surface topology, meshes, tiling, tessellation, mathematical visualization |
37 | Geert Jan Bex, Wouter Gelade, Frank Neven, Stijn Vansummeren |
Learning deterministic regular expressions for the inference of schemas from XML data. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
XML, regular expressions, schema inference |
37 | Christopher W. Brown 0001, Eric A. Hardisty |
RegeXeX: an interactive system providing regular expression exercises. |
SIGCSE |
2007 |
DBLP DOI BibTeX RDF |
education, regular expressions, theory of computing |
37 | Yacine Boufkhad, Olivier Dubois 0002, Yannet Interian, Bart Selman |
Regular Random k-SAT: Properties of Balanced Formulas. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
regular, satisfiability, phase transition, Boolean formulae, k-SAT |
37 | Yanxi Liu 0001, Yanghai Tsin, Wen-Chieh Lin |
The Promise and Perils of Near-Regular Texture. |
Int. J. Comput. Vis. |
2005 |
DBLP DOI BibTeX RDF |
near-regular texture, texture synthesis, lattice, texture analysis, symmetry groups |
37 | Burak Emir |
Compiling regular patterns to sequential machines. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
regular patterns, matching, sequential machines |
37 | Abdullah N. Arslan |
Regular Expression Constrained Sequence Alignment. |
CPM |
2005 |
DBLP DOI BibTeX RDF |
dynamic programming, pattern matching, Regular expression, sequence alignment, finite automaton |
37 | William Duckworth, Bernard Mans |
Randomised Algorithms for Finding Small Weakly-Connected Dominating Sets of Regular Graphs. |
CIAC |
2003 |
DBLP DOI BibTeX RDF |
weakly-connected, dominating sets, random regular graphs |
37 | Slawomir Lasota 0001 |
Behavioural Constructor Implementation for Regular Algebras. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence |
37 | Felip Manyà, Ramón Béjar, Gonzalo Escalada-Imaz |
The satisfiability problem in regular CNF-formulas. |
Soft Comput. |
1998 |
DBLP DOI BibTeX RDF |
Multiple-valued regular CNF-formulas, benchmarks, threshold, satisfiability problem |
37 | Ergun Akleman, Jianer Chen |
Regular meshes. |
Symposium on Solid and Physical Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Hiroyuki Izumi, Yasuyoshi Inagaki, Namio Honda |
A Complete Axiom System for Algebra of Closed-Regular Expression. |
ICALP |
1984 |
DBLP DOI BibTeX RDF |
|
37 | Marco Almeida, Nelma Moreira, Rogério Reis |
Antimirov and Mosses's Rewrite System Revisited. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
regular expression equivalence, minimal automata, regular expressions, rewriting systems, regular languages, derivatives, partial derivatives |
37 | Kung Fu Ng, Wei Hong Yang |
Regularities and their relations to error bounds. |
Math. Program. |
2004 |
DBLP DOI BibTeX RDF |
epigraph, linearly regular, property (G), strong CHIP, tangent cone, positive linear functional, graph, regular, error bound, normal cone, multifunction |
37 | Elena Zheleva, Abdullah N. Arslan |
Fast Motif Search in Protein Sequence Databases. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
motif search, PROSITE pattern, heuristic, suffix tree, preprocessing, regular expression matching |
34 | Ömer Egecioglu |
Strongly Regular Grammars and Regular Approximation of Context-Free Languages. |
Developments in Language Theory |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Ergun Akleman, Jianer Chen |
Regular Mesh Construction Algorithms using Regular Handles. |
SMI |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Thomas Eiter, Georg Gottlob, Thomas Schwentick |
Second-Order Logic over Strings: Regular and Non-regular Fragments. |
Developments in Language Theory |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Charles L. A. Clarke, Gordon V. Cormack |
On the Use of Regular Expressions for Searching Text. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
regular expressions, SGML, regular languages |
34 | Jean Paul Stromboni |
Partitioning regular computational graphs. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
regular computational graph partitioning, massive applications, computational graph, array processing operations, strong regularity, dependence vectors, loop parameters, periodic dependence constraints, small example regular graph, parallel processing, program analysis, signal processing, parallel machine, nested loops, application program, array signal processing, application designer, loop nests |
34 | Yang Zeng, Santosh G. Abraham |
Partitioning regular grid applications with irregular boundaries for cache-coherent multiprocessors. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
partitioning regular grid applications, irregular boundaries, cache-coherent multiprocessors, regular grid, domain decomposition techniques, message passing multiprocessors, false coherency traffic, cache line, coalescing algorithm, domain decomposition algorithm, Indian Ocean circulation application, KSR1 multiprocessor, coherency traffic, message passing, multiprocessing systems, interprocessor communication |
33 | Renato J. Cintra, Todor V. Cooklev |
Robust image watermarking using non-regular wavelets. |
Signal Image Video Process. |
2009 |
DBLP DOI BibTeX RDF |
Non-regular wavelets, JPEG compression, Robust watermarking |
33 | Peter McMullen |
Regular Apeirotopes of Dimension and Rank 4. |
Discret. Comput. Geom. |
2009 |
DBLP DOI BibTeX RDF |
Apeirotope, Abstract, Rank, Regular, Dimension, Polytope, Realization |
33 | Cheng-Hung Lin, Hsien-Sheng Hsiao |
Hierarchical state machine architecture for regular expression pattern matching. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
pattern matching, regular expression, state machine |
33 | Haiming Chen, Lei Chen |
Inclusion Test Algorithms for One-Unambiguous Regular Expressions. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
One-unambiguous regular expression, algorithm, inclusion |
33 | Syed Khairuzzaman Tanbeer, Chowdhury Farhan Ahmed, Byeong-Soo Jeong, Young-Koo Lee |
RP-Tree: A Tree Structure to Discover Regular Patterns in Transactional Database. |
IDEAL |
2008 |
DBLP DOI BibTeX RDF |
regular pattern, cyclic pattern, Data mining, pattern mining |
33 | Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne |
Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical or Not on the Minimal Deterministic Automaton of Pref(L). |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
minimal automaton, geometrical language, geometricity test, temporal validation, Finite automata, regular languages |
33 | Miad Faezipour, Mehrdad Nourani |
Constraint Repetition Inspection for Regular Expression on FPGA. |
Hot Interconnects |
2008 |
DBLP DOI BibTeX RDF |
Non-deterministic Finite Automata, Constraint Repetition Inspection, Regular Expression, Network Intrusion Detection System |
33 | Yi-Hua E. Yang, Weirong Jiang, Viktor K. Prasanna |
Compact architecture for high-throughput regular expression matching on FPGA. |
ANCS |
2008 |
DBLP DOI BibTeX RDF |
BRAM, FPGA, intrusion detection, finite state machine, regular expression, NFA |
33 | Victor L. Selivanov |
Fine Hierarchy of Regular Aperiodic omega -Languages. |
Developments in Language Theory |
2007 |
DBLP DOI BibTeX RDF |
acceptor, regular aperiodic ?-language, Wagner hierarchy, reducibility, Automaton, transducer |
33 | Ahmet Cetinkaya |
Regular expression generation through grammatical evolution. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
regular expressions, grammatical evolution |
33 | Fang Yu 0002, Zhifeng Chen, Yanlei Diao, T. V. Lakshman, Randy H. Katz |
Fast and memory-efficient regular expression matching for deep packet inspection. |
ANCS |
2006 |
DBLP DOI BibTeX RDF |
deep packet, intrusion detection, inspection, regular expressions, DFA |
33 | Jeong Han Kim, Van H. Vu |
Generating random regular graphs. |
STOC |
2003 |
DBLP DOI BibTeX RDF |
configuration model, concentration, inequality, random regular graph |
33 | D. Gnanaraj Thomas, M. Humrosia Begam, K. G. Subramanian 0001, S. Gnanasekaran |
Learning of Regular Bi-omega Languages. |
ICGI |
2002 |
DBLP DOI BibTeX RDF |
local bi-$omega$ languages, recognizable bi-$omega$ languages, rational bi-adherence languages, B$ddot{u}$chi local bi-$omega$ languages, regular bi-$omega$ languages, Learning algorithm |
33 | Burkhard Monien, Robert Preis |
Upper Bounds on the Bisection Width of 3- and 4-Regular Graphs. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
local improvement, graph partitioning, regular graphs, bisection width |
33 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
Answering Regular Path Queries Using Views. |
ICDE |
2000 |
DBLP DOI BibTeX RDF |
semistructured databases, query answering using views, integration, query rewriting, regular path queries |
33 | Donald G. Bailey |
Detecting Regular Patterns Using Frequency Domain Self-Filtering. |
ICIP (1) |
1997 |
DBLP DOI BibTeX RDF |
regular patterns, frequency domain self-filtering, frequency content, image processing, interpolation, noise, detection, smoothing, enhancement, extrapolation, spatial domain, band-pass filters, spatial frequencies, bandpass filtering |
33 | Giorgos Vasiliadis, Michalis Polychronakis, Spyros Antonatos, Evangelos P. Markatos, Sotiris Ioannidis |
Regular Expression Matching on Graphics Hardware for Intrusion Detection. |
RAID |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Christof Löding |
Reachability Problems on Regular Ground Tree Rewriting Graphs. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Brett D. Estrade, A. Louise Perkins, John M. Harris |
Explicitly Parallel Regular Expressions. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Sébastien Limet, Pierre Pillot |
Solving First Order Formulae of Pseudo-Regular Theory. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini |
Self-embedded context-free grammars with regular counterparts. |
Acta Informatica |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Dhruva R. Chakrabarti, Prithviraj Banerjee |
A Novel Compilation Framework for Supporting Semi-Regular Distributions in Hybrid Applications. |
IPPS/SPDP |
1999 |
DBLP DOI BibTeX RDF |
|
33 | M. Zafar Ullah Khan, M. Mubashir Hussain, Dil Muhammad Akbar Hussain |
Design and Implementation of a Selective Harmonic Elimination SPWM Strategy-Based Inverter. |
IMTIC |
2008 |
DBLP DOI BibTeX RDF |
Sinusoidal Pulse Width Modulation (SPWM), Selective Harmonic Elimination SPWM (SHE SPWM), Total Harmonic Distortion (THD), Natural Sampling SPWM, Regular Sampled Asymmetric SPWM, Modified Asymmetric Regular Sampled SPWM, Regular Sampled Symmetric SPWM, PIC Microcontroller, Gate Drive Amplifier (GDA), MATLAB |
33 | Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood |
Expressive languages for path queries over graph-structured data. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
regular relations, conjunctive queries, graph databases, regular path queries |
33 | Eugene Asarin, Paul Caspi, Oded Maler |
A Kleene Theorem for Timed Automata. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory |
33 | Doran Wilde, Sanjay V. Rajopadhye |
The naive execution of affine recurrence equations. |
ASAP |
1995 |
DBLP DOI BibTeX RDF |
algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations |
33 | Jirí Síma, Jirí Wiedermann |
Theory of Neuromata. |
J. ACM |
1998 |
DBLP DOI BibTeX RDF |
emptiness problem, finite neural networks, string acceptors, regular expressions, descriptional complexity, Hopfield networks |
30 | Oscar Moreno, Victor A. Zinoviev |
Some sufficient conditions for 4-regular graphs to have 3-regular subgraphs. |
Algebraic Coding |
1993 |
DBLP DOI BibTeX RDF |
|
30 | T. V. Lakshman, Victor K. Wei |
Distributed Computing on Regular Networks with Anonymous Nodes. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
anonymous nodes, communication-delay product, efficiency objective, sumlike operations, finite projective planes, metrically regular graphs, distributed algorithms, distributed algorithms, distributed computing, distributed computations, message passing, hypercubes, hypercube networks, information dissemination, trade-off, message complexity, sparse graphs, regular networks |
30 | Claus Brabrand, Jakob G. Thomsen |
Typed and unambiguous pattern matching on strings using regular expressions. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
static analysis, pattern matching, type inference, parsing, regular expressions, ambiguity, disambiguation |
30 | Jinseong Jeon, Keoncheol Shin, Hwansoo Han |
Abstracting access patterns of dynamic memory using regular expressions. |
ACM Trans. Archit. Code Optim. |
2009 |
DBLP DOI BibTeX RDF |
field affinity, layout transformation, pool allocation, regular expressions, Access patterns |
30 | JinGang Xie, QingPing Tan, GuoRong Cao |
Modeling and Analyzing Web Service Behavior with Regular Flow Nets. |
WISM |
2009 |
DBLP DOI BibTeX RDF |
regular flow net, symbolic coverability tree, Web service behavior |
30 | Dana Pardubská, Martin Plátek, Friedrich Otto |
Parallel Communicating Grammar Systems with Regular Control. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
parallel communicating grammar system, regular control, bounded communication complexity, freely rewriting restarting automaton |
30 | Jonathan Rohrer, Kubilay Atasu, Jan van Lunteren, Christoph Hagleitner |
Memory-efficient distribution of regular expressions for fast deep packet inspection. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
regular expression, hardware acceleration, network intrusion detection, DFA, deep packet inspection |
30 | Jianning Wang, Manuel M. Oliveira, Haitao Zhang, Arie E. Kaufman |
Reconstructing regular meshes from points. |
Vis. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Regular mesh, Point parameterization, Cut handling, Surface reconstruction |
30 | Norman H. Cohen, Karl Trygve Kalleberg |
EventScript: an event-processing language based on regular expressions with actions. |
LCTES |
2008 |
DBLP DOI BibTeX RDF |
sensors, regular expressions, actuators, event processing, reactive programs |
30 | Olufemi Komolafe, David A. Harle |
An holistic framework for regular virtual topology design. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
multi-processor interconnection architectures, regular virtual topology design, graph theory, combinatorial optimization, WDM networks |
30 | Zhihong He, Guojun Li, Dawei Ding, Quanhui Liu |
Componentwise Complementary Cycles in Almost Regular 3-Partite Tournaments. |
International Conference on Computational Science (3) |
2007 |
DBLP DOI BibTeX RDF |
almost regular, componentwise complementary cycles, tournament |
30 | Michal Koucký 0001 |
Circuit Complexity of Regular Languages. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
circuit complexity, regular languages |
30 | Nelma Moreira, Rogério Reis |
Interactive manipulation of regular objects with FAdo. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
interactive visual tools, e-learning, automata theory, regular languages |
30 | Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng |
Duration-constrained regular expressions. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Regular expressions, Hybrid automata, Duration Calculus |
30 | Niklas Broberg, Andreas Farre, Josef Svenningsson |
Regular expression patterns. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
pattern matching, haskell, regular expressions |
30 | Pavel Azalov, Michelle Cullen, Robert Rinish |
ReExpress: a tutor for regular expressions mentoring with technology. |
SIGITE Conference |
2004 |
DBLP DOI BibTeX RDF |
online learning, regular expressions, information technology education, web-based tutor, example-based learning |
30 | Eitan Altman, Bruno Gaujal, Arie Hordijk |
Regular Ordering and Applications in Control Policies. |
Discret. Event Dyn. Syst. |
2002 |
DBLP DOI BibTeX RDF |
schur convexity, regular ordering balanced sequences, (max, plus) algebra, admission control |
30 | Till Plewe, Ales Pultr, Anna Tozzi |
Regular Monomorphisms of Hausdorff Frames. |
Appl. Categorical Struct. |
2001 |
DBLP DOI BibTeX RDF |
Hausdorff property, regular monomorphisms resp. epimorphisms, quotient mappings, locales, frames |
30 | Dan R. Ghica, Guy McCusker |
Reasoning about Idealized ALGOL Using Regular Languages. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
ALGOL-like languages, regular languages, Game semantics |
30 | Noga Alon, Michael Krivelevich, Ilan Newman, Mario Szegedy |
Regular Languages Are Testable with a Constant Number of Queries. |
FOCS |
1999 |
DBLP DOI BibTeX RDF |
testing, randomized algorithms, regular languages |
30 | Swarup Mohalik, Ramaswamy Ramanujam |
A Presentation of Regular Languages in the Assumption - Commitment Framework. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
assumption-commitment, distributed systems, Regular languages |
30 | Eugene W. Myers |
A Four Russians Algorithm for Regular Expression Pattern Matching. |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
Four Russians paradigm, node listing, regular expression, finite automaton |
30 | Paul Havlak, Ken Kennedy |
An Implementation of Interprocedural Bounded Regular Section Analysis. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls |
30 | Fevzi Belli, Karl-Erwin Großpietsch |
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description |
30 | Stanko Dimitrov, Parameshwaran Krishnan, Colin L. Mallows, Jean Meloche, Shalini Yajnik |
r3: Resilient Random Regular Graphs. |
DISC |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Noga Alon, Asaf Shapira, Uri Stav |
Can a Graph Have Distinct Regular Partitions? |
COCOON |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 16707 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|