Search results for "expressions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Ricardo A. Baeza-Yates, Gaston H. Gonnet	Fast Text Searching for Regular Expressions or Automaton Searching on Tries.	J. ACM	1996	DBLP DOI BibTeX RDF
16	Zhao-Hui Tang, Georges Gardarin, Veronique Smahi	Optimizing Path Expressions Using Navigational Algebraic Operators.	DEXA	1996	DBLP DOI BibTeX RDF
16	Vassilis Christophides, Sophie Cluet, Guido Moerkotte	Evaluating Queries with Generalized Path Expressions.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
16	Hennie J. Steenhagen, Rolf A. de By, Henk M. Blanken	Translating OSQL-Queries into Efficient Set Expressions.	EDBT	1996	DBLP DOI BibTeX RDF
16	Amit M. Paradkar	A new solution to test generation for Boolean expressions.	CASCON	1995	DBLP BibTeX RDF
16	Vincent Bouchitté, Pierre Boulet, Alain Darte, Yves Robert	Evaluating Array Expressions on Massively Parallel Machines with Communication/ Computation Overlap.	CONPAR	1994	DBLP DOI BibTeX RDF
16	William Blume, Rudolf Eigenmann	The range test: a dependence test for symbolic, non-linear expressions.	SC	1994	DBLP DOI BibTeX RDF
16	Gabriele Saucier, Pierre Abouzeid	Lexicographical expressions of Boolean functions with application to multilevel synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
16	Tatsuo Sato, Joung-Hoon Lim, Ken-ichi Okada, Yutaka Matsushita	A Multimedia Synchronization Model Described by Boolean Expressions.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
16	Jan Van den Bussche, Gottfried Vossen	An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries.	DOOD	1993	DBLP DOI BibTeX RDF
16	Janusz Rajski, Jagadeesh Vasudevamurthy	The testability-preserving concurrent decomposition and factorization of Boolean expressions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
16	Wei-Ngan Chin	Safe Fusion of Functional Expressions.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
16	Paul Hudak, Jonathan Young	Collecting Interpretations of Expressions.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
16	Richard C. Waters	Automatic Transformation of Series Expressions into Loops.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	series, streams, vectors, sequences
16	Christian Queinnec	Compilation of Non-Linear, Second Order Patterns on S-Expressions.	PLILP	1990	DBLP DOI BibTeX RDF
16	Ricardo A. Baeza-Yates, Gaston H. Gonnet	Efficient Text Searching of Regular Expressions (Extended Abstract).	ICALP	1989	DBLP DOI BibTeX RDF
16	Bruce W. Char	Automatic Reasoning about Numerical Stability of Rational Expressions.	ISSAC	1989	DBLP DOI BibTeX RDF
16	Paul Hudak, Jonathan Young	A Collecting Interpretation of Expressions (Without Powerdomains). (long version: TOPLAS 13(2): 269-290 (1991))	POPL	1988	DBLP DOI BibTeX RDF
16	Ronald N. Goldman	Illicit Expressions in Vector Algebra.	ACM Trans. Graph.	1985	DBLP DOI BibTeX RDF	vector algebra, vector geometry
16	Hans-Juergen Boehm	A Logic for Expressions with Side-Effects.	POPL	1982	DBLP DOI BibTeX RDF
16	Ravi Sethi	Circular Expressions: Elimination of Static Environments.	ICALP	1981	DBLP DOI BibTeX RDF
16	Richard L. Sites	The Compilation of Loop Induction Expressions.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
16	William F. Ogden, William E. Riddle, William C. Rounds	Complexity of Expressions Allowing Concurrency.	POPL	1978	DBLP DOI BibTeX RDF
16	Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman	Code Generation for Expressions with Common Subexpressions.	J. ACM	1977	DBLP DOI BibTeX RDF
16	H. T. Kung 0001	New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions and Recurrences.	J. ACM	1976	DBLP DOI BibTeX RDF
16	Richard P. Brent	The Parallel Evaluation of General Arithmetic Expressions.	J. ACM	1974	DBLP DOI BibTeX RDF
16	Ravi Sethi, Jeffrey D. Ullman	The Generation of Optimal Code for Arithmetic Expressions.	J. ACM	1970	DBLP DOI BibTeX RDF
16	Ikuo Nakata	On compiling algorithms for arithmetic expressions.	Commun. ACM	1967	DBLP DOI BibTeX RDF
16	Trevor Jim, Yitzhak Mandelbaum, David Walker 0001	Semantics and algorithms for data-dependent grammars.	POPL	2010	DBLP DOI BibTeX RDF	ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf
16	Shingo Hasegawa, Shuji Isobe, Hiroki Shizuya, Katsuhiro Tashiro	On the pseudo-freeness and the CDH assumption.	Int. J. Inf. Sec.	2009	DBLP DOI BibTeX RDF	CDH assumption, Pseudo-free group, Pseudo-free group with generalized exponential expressions, Weak pseudo-free group
16	Ji-Dong Yim, Christopher D. Shaw	Designing CALLY, : a cell-phone robot.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	affect features, bodystorming, facial and gestural expressions, robotic product, mobile phone
16	Daniele Paolo Scarpazza, Gregory F. Russell	High-performance regular expression scanning on the Cell/B.E. processor.	ICS	2009	DBLP DOI BibTeX RDF	multi-core, regular expressions, cell processor
16	Marianna Obrist, Judith Igelsböck, Elke Beck, Christiane Moser, Stefan Riegler, Manfred Tscheligi	"Now you need to laugh!": investigating fun in games with children.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	evaluation, game, children, facial expressions, fun
16	Dario Colazzo, Giorgio Ghelli, Carlo Sartiani	Efficient asymmetric inclusion between regular expression types.	ICDT	2009	DBLP DOI BibTeX RDF	language inclusion, XML, regular expressions
16	Zahid Riaz, Christoph Mayer 0001, Michael Beetz, Bernd Radig	Model Based Analysis of Face Images for Facial Feature Extraction.	CAIP	2009	DBLP DOI BibTeX RDF	Face Image Analysis, Feature Extraction, Face Recognition, Human Robot Interaction, Facial Expressions Recognition
16	James Moscola, John W. Lockwood, Young H. Cho	Reconfigurable content-based router using hardware-accelerated language parser.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	parser hardware, XML, pattern matching, Parsing, regular expressions, content-based routing
16	Martin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek	Matchete: Paths through the Pattern Matching Jungle.	PADL	2008	DBLP DOI BibTeX RDF	binary data formats, Java, Pattern matching, XPath, regular expressions
16	Dora Montagna	Multilingual idioms and proverbs: wiki as a tool in collaborative translation.	Int. Sym. Wikis	2008	DBLP DOI BibTeX RDF	multi-word expressions, paremiology, phraseology
16	Chetan Kumar, Nishith Kumar, Sarani Rangarajan, Narayanaswamy Balakrishnan 0001, Kanagaraj Sekar	A Method to Find Sequentially Separated Motifs in Biological Sequences (SSMBS).	PRIB	2008	DBLP DOI BibTeX RDF	protein and nucleotide sequences, sequence motifs, Regular expressions
16	Miriam Madsen, Rana El Kaliouby, Matthew S. Goodwin, Rosalind W. Picard	Technology for just-in-time in-situ learning of facial affect for persons diagnosed with an autism spectrum disorder.	ASSETS	2008	DBLP DOI BibTeX RDF	asperger's syndrome, facial affect, affective computing, facial expressions, autism spectrum disorders
16	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
16	Isabelle Hupont, Sandra Baldassarri, Rafael Del Hoyo, Eva Cerezo	Effective Emotional Classification Combining Facial Classifiers and User Assessment.	AMDO	2008	DBLP DOI BibTeX RDF	Emotional Classifiers, Affective Computing, Multimodal Interfaces, Facial Expressions
16	Fevzi Belli, Axel Hollmann, Nimal Nissanke	Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Analysis and Testing, Risk Graphs, Safety, User Interactions, Regular Expressions, Event Sequence Graphs
16	Michela Becchi, Patrick Crowley	A hybrid finite automaton for practical deep packet inspection.	CoNEXT	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection, NFA
16	Shoham Ben-David, Dana Fisman, Sitvanit Ruah	Temporal Antecedent Failure: Refining Vacuity.	CONCUR	2007	DBLP DOI BibTeX RDF	Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL
16	Jerneja Zganec-Gros	VideoTRAN: A Translation Framework for Audiovisual Face-to-Face Conversations.	COST 2102 Workshop (Vietri)	2007	DBLP DOI BibTeX RDF	translating videophone, facial expressions, nonverbal communication, speech-to-speech translation
16	Yuan Zhang, Evelyn Duesterwald	Barrier matching for programs with textually unaligned barriers.	PPoPP	2007	DBLP DOI BibTeX RDF	static analysis, MPI, slicing, barrier synchronization, path expressions
16	Tomás Hrubý, Kees van Reeuwijk, Herbert Bos	Ruler: high-speed packet matching and rewriting on NPUs.	ANCS	2007	DBLP DOI BibTeX RDF	TDFA, regular expressions, network processors, deep packet inspection
16	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
16	Michela Becchi, Patrick Crowley	An improved algorithm to accelerate regular expression evaluation.	ANCS	2007	DBLP DOI BibTeX RDF	regular expressions, DFA, deep packet inspection
16	Qingshan Zhang, Zicheng Liu 0001, Baining Guo, Demetri Terzopoulos, Heung-Yeung Shum	Geometry-Driven Photorealistic Facial Expression Synthesis.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	expression mapping, expression details, facial expressions, Facial animation, performance-driven animation
16	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
16	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu	Contraint-Based Combinators for Local Search.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	constraints languange, logical and cardinality combinators, differential objects, first-class expressions, search procedure, local search, reification
16	Seiichi Uchida, Akihiro Nomura 0001, Masakazu Suzuki	Quantitative analysis of mathematical documents.	Int. J. Document Anal. Recognit.	2005	DBLP DOI BibTeX RDF	Mathematical document, Database, OCR, Mathematical expressions, Touching characters
16	Arsany Sawires, Jun'ichi Tatemura, Oliver Po, Divyakant Agrawal, K. Selçuk Candan	Incremental Maintenance of Path Expression Views.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF	caching, path expressions, XML views, incremental view maintenance
16	Mathieu Petit, Brigitte Le Pévédic, Dominique Duhaut	Génération d'émotion pour le robot MAPH: média actif pour le handicap.	IHM	2005	DBLP DOI BibTeX RDF	emotional synthesis, robotic, facial expressions, handicap
16	Jun'ichi Tatemura, Oliver Po, Arsany Sawires, Divyakant Agrawal, K. Selçuk Candan	WreC: A Scalable Middleware Architecture to Enable XML Caching for Web-Services.	Middleware	2005	DBLP DOI BibTeX RDF	XMLrelational mapping, web services, caching, path expressions, XML views
16	Seok Bae Jang, Jennifer Baldwin, Inderjeet Mani	Automatic TIMEX2 tagging of Korean news.	ACM Trans. Asian Lang. Inf. Process.	2004	DBLP DOI BibTeX RDF	temporal expressions, time, temporal information, Korean
16	Tetsuji Hirayama, Sung Jo Hong, Marwan Krunz	A New Approach to Analysis of Polling Systems.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	a new approach, linear functional expressions, polling systems, mean waiting times
16	Gerome Miklau, Dan Suciu	Containment and equivalence for a fragment of XPath.	J. ACM	2004	DBLP DOI BibTeX RDF	XPath expressions, query containment, Tree pattern matching, query equivalence
16	Bryan Ford	Parsing expression grammars: a recognition-based syntactic foundation.	POPL	2004	DBLP DOI BibTeX RDF	GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF
16	Jacques Carette	Understanding expression simplification.	ISSAC	2004	DBLP DOI BibTeX RDF	model description length, simplification of expressions, computer algebra, Kolmogorov complexity
16	Yanlei Diao, Mehmet Altinel, Michael J. Franklin, Hao Zhang 0003, Peter M. Fischer 0001	Path sharing and predicate evaluation for high-performance XML filtering.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF	Nondeterministic Finite Automaton, XML filtering, content-based matching, nested path expressions., path sharing, predicate evaluation, structure matching
16	Damien Sereni, Oege de Moor	Static analysis of aspects.	AOSD	2003	DBLP DOI BibTeX RDF	meet-over-all-paths, compilers, analysis, regular expressions, aspects
16	Minos N. Garofalakis, Rajeev Rastogi, Kyuseok Shim	Mining Sequential Patterns with Regular Expression Constraints.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	Data mining, constraints, regular expressions, finite automata, sequential patterns
16	Jennifer Pérez, José A. Carsí, Isidro Ramos	ADML: A Language for Automatic Generation of Migration Plans.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF	Data migration plan, migration language, migration expressions, patterns, automatic generation
16	Hsing-Lung Chen, Shu-Hua Hu	Submesh Determination in Faulty Tori and Meshes.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	faulty meshes, faulty tori, prime submeshes, set expressions, Distributed algorithms, reconfiguration
16	Ben C. Moszkowski	A Complete Axiomatization of Interval Temporal Logic with Infinite Time.	LICS	2000	DBLP DOI BibTeX RDF	complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
16	Henrik Bærbak Christensen, Hebrick Røn	A Case Study of Framework Design for Horizontal Reuse.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	object-oriented framework design, horizontal reuse, complex search expressions, data domains, business domain decoupling, framework reuse, code-level decoupling solutions, noncode-level decoupling techniques, technical mismatch problems, solution template, design patterns, case study, software reusability, object-oriented methods
16	Hsing-Lung Chen, Nian-Feng Tzeng	A Boolean Expression-Based Approach for Maximum Incomplete Subcube Identification in Faulty Hypercubes.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	incomplete subcubes, distributed algorithms, reconfiguration, Boolean expressions, faulty hypercubes
16	Chun-Ho Cheung, Lai-Man Po	Text-Driven Automatic Frame Generation Using MPEG-4 Synthetic/Natural Hybrid Coding for 2-D Head-and-Shoulder Scene.	ICIP (2)	1997	DBLP DOI BibTeX RDF	text-driven automatic frame generation, MPEG-4 synthetic/natural hybrid coding, 2-D head-and-shoulder scene, facial modeling technique, frame sequence generation, adapted frontal face, plain text, nonverbal facial communication, audiovisual lip-synch application, news reporting, deaf people, virtual meeting, story teller on demand, STOD, Internet, animation, textures, computer animation, shape, expressions, intelligibility, talking head, hearing-impaired, phonemes, lip-reading
16	Lijun Yin 0001, Anup Basu	MPEG4 Face Modeling Using Fiducial Points.	ICIP (1)	1997	DBLP DOI BibTeX RDF	fiducial points, MPEG4 face modeling, very low bit-rate videoconferencing, generic facial model, 3D individual model, face expression tracking, layered force spreading method, facial expressions animation, real facial image, face recognition, video coding, model-based coding
16	Hsing-Lung Chen, Shu-Hua Hu	Distributed Submesh Determination in Faulty Tori and Meshes.	IPPS	1997	DBLP DOI BibTeX RDF	distributed submesh determination, faulty tori, maximum healthy submeshes, faulty torus, set expressions, parallel algorithm, multiprocessor interconnection networks, meshes, performance degradation, search space
16	Mark W. W. Vermeer, Peter M. G. Apers	Query Modification in Object-Oriented Database Federations.	CoopIS	1997	DBLP DOI BibTeX RDF	object-oriented database federations, integrated view, global query processing, arbitrarily defined integration classes, object references, object relationship modeling, distributed databases, path expressions, nesting, query modification
16	Jorge S. Marques, Arnaldo J. Abrantes	A class of probabilistic shape models.	CVPR	1997	DBLP DOI BibTeX RDF	probabilistic shape models, data representation methods, fuzzy energy function, c-means map, probabilistic extension, Gibbs-Boltzman distributions, log partition function, analytic expressions, data structures, deformable models, snakes, Bayesian framework, Kohonen maps, fuzzy maps, elastic nets
16	Dhiya Al-Jumeily, Paul Strickland	Designing an interface on the Web for an intelligent tutoring system.	EUROMICRO	1997	DBLP DOI BibTeX RDF	computer-student communication, software behaviour control, input tool, EqEditor, distance learning tool, World Wide Web, learning, graphical user interface, teaching, intelligent tutoring systems, intelligent tutoring system, mouse, keyboard, Java applet, GUI design, computer-aided learning, mathematical expressions
16	Pierre Flener, Kung-Kiu Lau, Mario Ornaghi	Correct-Schema-Guided Synthesis of Steadfast Programs.	ASE	1997	DBLP DOI BibTeX RDF	steadfast programs, semi-automated software development, schema correctness, structured program design principles, hierarchical program synthesis, syntactic representation, higher-order expressions, informal knowledge capture, program schema formalisation, open first-order logical theory, open logic program, logic programming, program synthesis, domain knowledge
16	C. Y. Chen, Chin-Chen Chang 0001, Richard C. T. Lee, D. C. Lin	Optimal Linear Hashing Files for Orthogonal Range Retrieval.	COMPSAC	1996	DBLP DOI BibTeX RDF	orthogonal range retrieval, performance expressions, optimal recursive linear hashing files, minimum marginal increase, information retrieval, data structures, database management systems, greedy method, partial match retrieval, MMI
16	Dominique De Vito, Olivier Michel	Effective SIMD Code Generation for the High-Level Declarative Data-Parallel Language 8 1/2.	EUROMICRO	1996	DBLP DOI BibTeX RDF	SIMD code generation, high-level declarative data-parallel language 8 1/2, common control expressions, delay copies, execution scheme, parallel architectures, data-parallelism, SIMD architectures
16	Hyesook Lim, Changhoon Yim, Earl E. Swartzlander Jr.	Finite Word-Length Effects Of An Unified Systolic Array For 2-D DCT/IDCT.	ASAP	1996	DBLP DOI BibTeX RDF	finite word-length effects, unified systolic array, fixed-point error analysis, inverse discrete cosine transform, fixed-point rounding-errors, minimum word-length, fixed-point error, discrete cosine transforms, discrete cosine transform, systolic arrays, digital simulation, error analysis, simulation results, roundoff errors, closed form expressions, truncation-errors
16	Boon-Lock Yeo, Bede Liu	On the extraction of DC sequence from MPEG compressed video.	ICIP	1995	DBLP DOI BibTeX RDF	MPEG compressed video, DC sequence extraction, reduced images, DC coefficients, intracoded DCT compressed video, motion-compensated P-frames, motion-compensated B-frames, exact expressions, computational speedup, computational complexity, feature extraction, approximations, data compression, image sequences, video coding, image reconstruction, image reconstruction, discrete cosine transforms, motion compensation, experimental results, transform coding, approximation theory, global feature
16	I-Lung Kao, Randy Chow	Enforcing complex security policies for commercial applications.	COMPSAC	1995	DBLP DOI BibTeX RDF	complex security policy enforcement, commercial applications, complex access control policies, multilevel security model, systematic frequently-desired multilevel exception categorization, commercial sectors, classified categories, Boolean functions, exception handling, security of data, authorisation, Boolean expressions
16	Edmund M. Clarke, Masahiro Fujita, Xudong Zhao 0005	Hybrid decision diagrams.	ICCAD	1995	DBLP DOI BibTeX RDF	MTBDDs, arithmetic circuits verification, boolean vectors, hybrid decision diagrams, linear expressions, multi-terminal binary decision diagrams, symbolic model checking algorithms, computational complexity, time complexity, digital arithmetic, binary decision diagrams, circuit analysis computing, integers, BMDs
16	Ryutaro Murakami, Yoshiteru Ohkura, Ryosaku Shimada	2k-ary Cyclic AN Codes for Burst Error Correction.	ISMVL	1995	DBLP DOI BibTeX RDF	2/sup k/-ary cyclic AN codes, burst error correction, radix 2/sup k/ expressions, code structure, arithmetic burst errors, burst error correction ability, binary cyclic AN code, error correction codes, error detection, error detection codes, arithmetic codes, arithmetic operations, cyclic codes
16	Martin Erwig, Bernd Meyer 0001	Heterogeneous Visual Languages-Integrating Visual and Textual Programming.	VL	1995	DBLP DOI BibTeX RDF	heterogeneous visual languages, textual programming languages, practical software development requirements, visual expressions, domain-specific data structures, textual notations, abstract control structures, data structures, rapid prototyping, visual programming, visual languages, computer aided software engineering, functional languages, functional languages, software prototyping, logic programming languages, development systems, development system, logical languages, procedural languages
16	Masami Hagiya, Tomoki Shiratori	Programming by Example in Computing-as-Editing Paradigm.	VL	1995	DBLP DOI BibTeX RDF	computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming
16	Joseph J. Pfeiffer Jr.	Ludwig: Decoupling Program Representations from Processing Models.	VL	1995	DBLP DOI BibTeX RDF	Ludwig/sub 2/, general purpose visual language, consistent internal representation, graph manipulation, Ludwig language, graphical user interfaces, software tools, programming environments, programming environment, processing models, visual programming, visual languages, user interaction, readability, program representations, arithmetic expressions
16	Randy Chow, I-Lung Kao	Modeling complex access control policies in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	access authorization, classified categories, state-dependent security, distributed systems, distributed processing, security policies, security of data, authorisation, access control model, access control policies, Boolean expressions
16	Mark A. Holliday, Carla Schlatter Ellis	Accuracy of Memory Reference Traces of Parallel Computations in Trace-Driven Simulation.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	load sequences, memory reference traces, trace-drive simulation, global trace, shared memory multiprocessingenvironment, address change points, address affecting points, process traces, intrinsic trace, address flow graph, store sequences, partial program reexecution, graph-traceable, parallel program, parallel programming, parallel computations, memory management, storage management, memory architecture, path expressions
16	John B. Evans	The Devnet: a Petri Net for Discrete Event Simulation.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Circumspect token, engagement strategy, entity interaction, firing strategy, net implementation, object net, program activation, Simian language, simulation complexity, temporal expressions, parallelism, discrete-event simulation, processes, control structures
16	Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe	Automated Test Case Generation for Programs Specified by Relational Algebra Queries.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	black-box software testing, relational algebra queries, arbitrary specifications, relational algebra expressions, automated test case generation method, formal specification, relational databases, program testing, automatic programming
16	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
16	Victor F. Nicola, Johannes M. Van Spanje	Comparative Analysis of Different Models of Checkpointing and Recovery.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	checkpointing strategies, recovery models, refinement levels, realistic system, analytic approaches, Markovian queuing model, load-dependent checkpointing strategy, stochastic recovery, state-space analysis approach, semianalytic expressions, performance variables, unknown boundary state probabilities, stable operating range, optimal deterministic checkpointing, simulation, computational complexity, probability, DBMS, database management systems, queueing theory, database theory, system recovery, numerical algorithm, numerical solution, Poisson
16	Dipankar Sarkar 0001, S. C. De Sarkar	Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	flowchart programs, first-order rules, algebraic expressions, proof construction process, human thought process, user provided axioms, verification, theorem proving, program verification, inference mechanisms, inference rules, theorem prover, integer arithmetic
16	T. H. Merrett, Normand Laliberte	Including Scalars in a Programming Language Based on the Relational Algebra.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	relational programming system, relix, QT-selectors, l-expressions, systematic interpretations, array access, tuned access method, Z-order, data structures, relational databases, programming language, projections, database theory, relational algebra, relations, high level languages, syntax, B-trees, data types, records, scalars
16	Steven J. Zeil	Perturbation Techniques for Detecting Domain Errors.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	sensitivity measures, individual test points, domain errors, perturbing functions, potential faults, standard optimization techniques, novel test-data-generation method, arithmetic fault detection, perturbation techniques, software testing, error detection, error detection, program testing, test set, vector space, arithmetic expressions
16	Jan Stelovsky, Hirotsugo Sugaya	A System for Specification and Rapid Prototyping of Application Command Languages.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	application command languages, XS-2 system, application dialogs, command language grammar, nonprocedural description language, command specification, command tree, user interfaces, user interfaces, software tools, software tools, programming environments, programming environments, rapid prototyping, interactive systems, regular expressions, grammars, Modula-2, automatic translation
16	Jules Desharnais, Nazim H. Madhavji	Relation Level Semantics.	FSTTCS	1988	DBLP DOI BibTeX RDF	CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
16	Matthew S. Hecht, Jeffrey D. Ullman	Analysis of a Simple Algorithm for Global Flow Problems.	POPL	1973	DBLP DOI BibTeX RDF	available expressions, depth-first spanning tree, global data flow analysis, live variables, reducibility, dominance, code optimization, interval analysis, flow graph
16	Edward F. Storm	CHAMP - character manipulation procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	character manipulation, conditional expressions, string handling, symbol manipulation, procedures, quantifiers, recursive programming, structure matching