|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1211 occurrences of 748 keywords
|
|
|
Results
Found 1493 publication records. Showing 1493 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Etienne M. Gagnon, Laurie J. Hendren |
SableCC, an Object-Oriented Compiler Framework. |
TOOLS (26) |
1998 |
DBLP DOI BibTeX RDF |
Software Engineering, Compiler, Framework, Design Patterns, Interpreter |
25 | Werner Brockmann, Thomas Kosch, Erik Maehle |
Rule-Based Routing in Massively Parallel Systems. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
rule-based routing, rule-based specification, fixed rule-interpreter, interchangeable rule-base, universal routing chip, state-of-the-art VLSI-technologies, single-chip ASIC, parallel algorithms, interconnection network, knowledge based systems, multiprocessor interconnection networks, routing algorithms, network routing, massively parallel systems |
25 | Vamsi Krishna, Abdel Ejnioui, N. Ranganathan |
A tree matching chip. |
VLSI Design |
1996 |
DBLP DOI BibTeX RDF |
tree matching chip, online interpreter systems, linear systolic array algorithms, fixed size linear array, Cadence design tools, parallel algorithms, VLSI, compilers, object recognition, image recognition, systolic arrays, digital signal processing chips, code optimization, 3D object recognition, vision systems, systolic architecture |
25 | Hideki Koike, Manuba Aida |
A Bottom-Up Approach for Visualizing Program Behavior. |
VL |
1995 |
DBLP DOI BibTeX RDF |
program behavior visualisation, program execution visualisation, concrete pictures, abstract picture, local pictures, local drawing rules, scaling mechanism, conceptual program structure, Scheme interpreter, visual programming, visual languages, program understanding, data visualisation, system monitoring, program interpreters, bottom-up approach |
25 | Wolfgang A. Halang, Bernd J. Krämer |
Safety Assurance in Process Control. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control |
25 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
25 | Anne F. Brindle, Richard N. Taylor, David F. Martin |
A Debugger for Ada Tasking. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking |
25 | Brent Hailpern, Tien Huynh, György E. Révész |
Comparing Two Functional Programming Systems. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
functional programming systems, graph reduction interpreter, DEL-style intermediate instruction set architecture, performance evaluation, benchmarks, functional programming, lambda calculus, functional languages, high level languages, execution times, performance comparison, FP, evaluation strategies, implementation language |
25 | Donald A. Varvel, Leonard D. Shapiro |
The Computational Completeness of Extended Database Query Languages. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
computational completeness, extended database query languages, POSTGRES, GENESIS, Turing machine interpreter, traditional database languages, programming language, database management systems, query languages, computational power |
25 | Stefano Ceri, Georg Gottlob, Gio Wiederhold |
Efficient Database Access from Prolog. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
Prolog interpreter, memory-resident database, Prolog facts, subsumption rests, logic programming, relational database, relational databases, Prolog, pattern matching, program interpreters, secondary storage |
25 | Gene Fisher |
An Overview of a Graphical Multilanguage Applications Environment. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
graphical multilanguage applications environment, Pascal-class languages, multilanguage interpreter, interactive development, graphical program interface, software control panel, graphical design tool, executable block diagrams, user interfaces, user interfaces, software tools, software tools, programming environment, programming environments, program debugging, program debugging, program interpreters, engineering graphics, engineering graphics, program execution, engineering applications |
25 | Mark Kahrs |
Implementation of an Interactive Programming System. |
SIGPLAN Symposium on Compiler Construction |
1979 |
DBLP DOI BibTeX RDF |
Interactive programming systems, Tree factored interpreter, Incremental compilation |
25 | Charles E. Donaghey |
CELLSIM: A digital simulation language for cell kinetic modelling. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Cell kinetics, Chemotherapy, Tumor, Simulation, Interpreter, Monte-Carlo, Computer languages |
24 | Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte |
XML-based DEVS modeling and interpretation. |
SpringSim |
2009 |
DBLP DOI BibTeX RDF |
DEVSJAVA, XLSC, XML, reusability, DEVS |
24 | Yves Bertot |
Structural Abstract Interpretation: A Formal Study Using Coq. |
LerNet ALFA Summer School |
2008 |
DBLP DOI BibTeX RDF |
|
24 | David A. Schmidt |
State-transition machines for lambda-calculus expressions. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine |
24 | Benoît Fraikin, Marc Frappier |
Efficient Symbolic Execution of Large Quantifications in a Process Algebra. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jouko Kokko, Erkki Kemppainen, Aulikki Rautavaara |
Technology and Regional Social Structures: Evaluation of Remote Sign Language Interpretation in Finland. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
Interpretation service, hard of hearing people, Disability, ICT |
24 | Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer |
From Interpretation to Compilation. |
CEFP |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Barnaby Fisher, James Cussens |
Inductive Mercury Programming. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Daniel A. Ashlock, Stephen P. Gent, Kenneth Mark Bryden |
Evolution of L-systems for compact virtual landscape generation. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Hyosook Jung, Seongbin Park |
Context Awareness for Music Information Retrieval Using JXTA Technology. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Andrew Moss, Henk L. Muller |
Efficient Code Generation for a Domain Specific Language. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Hak-Keung Lam, Frank H. F. Leung |
Digit and command interpretation for electronic book using neural network and genetic algorithm. |
IEEE Trans. Syst. Man Cybern. Part B |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua |
a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM |
24 | M. Anton Ertl, David Gregg |
Retargeting JIT Compilers by using C-Compiler Generated Executable Code. |
IEEE PACT |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Norman Ramsey, Cristina Cifuentes |
A transformational approach to binary translation of delayed branches. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
program transformation, program analysis, Binary translation |
24 | Gábor Alberti, Helga M. Szabó |
Discourse-Semantic Analysis of Hungarian Sign Language. |
TSD |
2002 |
DBLP DOI BibTeX RDF |
|
24 | William S. Evans, Christopher W. Fraser |
Bytecode Compression via Profiled Grammar Rewriting. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
program compression, variable-to-fixed length codes, context-free grammars, bytecode interpretation |
24 | Rodrigo Machado, Rafael H. Bordini |
Running AgentSpeak(L) Agents on SIM_AGENT. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Mange, Eduardo Sanchez, André Stauffer, Gianluca Tempesti, Pierre Marchal, Christian Piguet |
Embryonics: a new methodology for designing field-programmable gate arrays with self-repair and self-replicating properties. |
IEEE Trans. Very Large Scale Integr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
24 | William L. Harrison, Samuel N. Kamin |
Modular Compilers Based on Monad Transformers. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Semantics-Based Compilation, Pass Separation, Compilers, Partial Evaluation, Monads, Programming Language Semantics, Monad Transformers |
24 | Wim Vanhoof, Bern Martens |
To Parse or Not To Parse. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Hermano P. Moura |
An Implementation of Action Semantics (Summaray). |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Suresh Jagannathan, Gul Agha |
A Reflective Model of Inheritance. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Fosca Giannotti, Manuel V. Hermenegildo |
A Technique for Recursive Invariance Detection and Selective Program Specification. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming |
24 | Kevin C. Schott |
A Dual-Algorithm Performance Monitoring System (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Kemal Koymen |
A Datalog Interface for SQL (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
24 | Afke van Rijn |
A Natural Language Interface for a Flexible Assembly Cell. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Stephen Morrisson, Marion Kee, Kenneth Goodman |
Analysis. |
Mach. Transl. |
1989 |
DBLP DOI BibTeX RDF |
f-structure, lexical mapping rule, structural mapping rule, universal parsing |
24 | Clinton R. Foulk |
Teaching assembly language on the Macintosh (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
Macintosh |
24 | James R. Cordy, T. C. Nicholas Graham |
Design of an interpretive environment for Turing. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
TURING |
24 | Jonas Barklund |
Efficient interpretation of Prolog programs. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
Prolog |
24 | Manfred Jackel |
ADA Concurrency Specified by Graph Grammars. |
WG |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Paul Sansonnet, Michel Castan, Christian Percebois, D. Botella, J. Perez |
Direct Execution of Lisp on a List-Directed Architecture. |
ASPLOS |
1982 |
DBLP DOI BibTeX RDF |
LISP |
24 | Anders Haraldsson |
A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp. |
POPL |
1978 |
DBLP DOI BibTeX RDF |
|
24 | |
XQuery Interpreter. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Tomas Trescak, Inmaculada Rodríguez, Marc Esteva |
General Shape Grammar Interpreter for Intelligent Designs Generations. |
CGIV |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Gautam Shroff, Puneet Agarwal, Premkumar T. Devanbu |
InstantApps: A WYSIWYG model driven interpreter for web applications. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Jonathan Cooper, Steve McKeever |
Experience report: a Haskell interpreter for cellML. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
cellML, haskell |
24 | Timothy V. Fossum |
Classes as first class objects in an environment-passing interpreter. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
first-class, programming languages, classes, properties |
24 | Sara Miner More, Tim Pevzner, Alin Deutsch, Scott B. Baden, Paul Kube |
Building an XQuery interpreter in a compiler construction course. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
XML, XQuery, compiler construction, capstone courses |
24 | Sumihiro Kawano, Takao Kurokawa |
Facial and Head Movements of a Sign Interpreter and Their Application to Japanese Sign Animation. |
ICCHP |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Martin C. Carlisle, Keith Shomper |
ROBOT interpreter. |
ACM J. Educ. Resour. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Ada, robots, Lego Mindstorms |
24 | Harald J. Zainzinger |
Testing Embedded Systems by Using a C++ Script Interpreter. |
Asian Test Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Oliver Diessel, Usama Malik |
An FPGA Interpreter with Virtual Hardware Management. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Sergei M. Abramov, Robert Glück |
Combining Semantics with Non-standard Interpreter Hierarchies. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Todd A. Proebsting |
Optimizing an ANSI C Interpreter with Superoperators. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
C |
24 | Shie-Jue Lee, Chih-Hung Wu |
Building an Expert System Language Interpreter with the Rule Network Technique. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Burt M. Leavenworth |
Proxy: an interpreter for rapid prototyping. |
ACM SIGPLAN Notices |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Shaun Futch, David N. Chin, Matthew McGranaghan, Jinn-Guey Lay |
Spatial-Linguistic Reasoning in LEI (Locality and Elevation Interpreter). |
Spatio-Temporal Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Alessandro Berarducci, Corrado Böhm |
A Self-Interpreter of Lambda Calculus Having a Normal Form. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Yves Bertot |
Implementation of an Interpreter for a Parallel Language in Centaur. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Leone Dunn, Maria E. Orlowska |
A Natural Language Interpreter for Construction of Conceptual Schemas. |
CAiSE |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers |
The Formal Definition of Modula-2 and Its Associated Interpreter. |
VDM Europe |
1988 |
DBLP DOI BibTeX RDF |
|
24 | R. Beckmann, Kay-Ulrich Felgentreu |
The Impact of the LCC-Optimization on the Performance of a Static Scope LISP Interpreter. |
SIGSMALL/PC |
1988 |
DBLP DOI BibTeX RDF |
LISP |
24 | David Notkin, William G. Griswold |
Enhancement through extension: the extension interpreter. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Alfons Geser, Heinrich Hußmann |
Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
24 | José Carlos Ferreira Maia Neves |
A logic interpreter to handle time and negation in logic data bases. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
Logic data base, Open world, Prolog, Query-by-example, Time stamping, Assumption, Negative information |
24 | Thomas R. Addis |
A Relation-Based Language Interpreter for Content Addressable File Store. |
ACM Trans. Database Syst. |
1982 |
DBLP DOI BibTeX RDF |
content addressing |
24 | James D. Mooney |
The VALI (Variable Language Interpreter). |
AFIPS National Computer Conference |
1981 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Brunthaler 0001 |
Efficient inline caching without dynamic translation. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
inline caching, type feedback, interpreter, interpreters, python, bytecode |
17 | Jiafu Xu, Fangmin Song |
Quantum programming languages: A tentative study. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
quantum programming languages, language paradigm, imperative programming language, declarative programming language, lexical analyzer, syntactic analyzer, interpreter, assembler |
17 | Jiafu Xu, Fanming Song |
Quantum programming languages. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
quantum programming language, imperative paradigm, declarative paradigm, lexical analyzer, syntactic analyzer, primitive function, combining form, compilation, interpreter, code transformer |
17 | Ben Stephenson, Wade Holst |
A technique for utilizing optimization potential during multicode identification. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
Java, optimization, virtual machine, interpreter, bytecode |
17 | Ben Stephenson, Wade Holst |
Advancements in multicode optimization. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
java, optimization, virtual machine, interpreter, bytecode |
17 | Alan M. Durham, Edson Sussumu, Arlindo Flávio da Conceição |
A framework for building language interpreters. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
paradigm learning, programming language interpreter |
17 | Francisco Ortín Soler, Juan Manuel Cueva Lovelle |
Implementing a real computational-environment jump in order to develop a runtime-adaptable reflective platform. |
ACM SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
generic interpreter, aspect-oriented programming, reflection, runtime adaptability, meta-object protocol |
17 | Jean-Philippe Valois, Myriam Côté, Mohamed Cheriet |
Online Recognition of Sketched Electrical Diagrams. |
ICDAR |
2001 |
DBLP DOI BibTeX RDF |
hand-drawn, recognition, sketching, interpreter, structural, diagrams, on-line, pen, electrical, beautification, ink |
17 | Jason I. Hong, James A. Landay |
SATIN: a toolkit for informal ink-based applications. |
UIST |
2000 |
DBLP DOI BibTeX RDF |
SATIN, recognizer, gesture, recognition, sketching, interpreter, informal, toolkits, pen, ink |
17 | Robert Bernecky |
The Role of Dynamic Programming & Control Structures in Performance. |
APL |
1995 |
DBLP DOI BibTeX RDF |
flow control structures, interpreter overhead, optimization, performance, APL, APL, dynamic programming, J, puzzles, control structures |
17 | D. Peter Sanderson, Ravi Sharma, Roman Rozin, Siegfried Treu |
The Hierarchical Simulation Language HSL: A Versatile Tool for Process-Oriented Simulation. |
ACM Trans. Model. Comput. Simul. |
1991 |
DBLP DOI BibTeX RDF |
HSL, simulation programming language, C++, modularity, process, hierarchy, interpreter, inheritance |
17 | Thom W. Frühwirth |
Polymorphic Type Checking with Subtypes in Prolog. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
Prolog Meta-Interpreter, Type Languages, Polymorphism, Partial Evaluation, Subtypes, Type Checking, Executable Specification |
17 | Karl J. Ottenstein, Linda M. Ottenstein |
The Program Dependence Graph in a Software Development Environment. |
Software Development Environments (SDE) |
1984 |
DBLP DOI BibTeX RDF |
Internal program representation, Debugging, Interpreter, Program slice, Data flow, Control flow, Code optimization, Software complexity metrics |
17 | Harold Hoehne, Robert Piloty |
Design Verification at the Register Transfer Language Level. |
IEEE Trans. Computers |
1975 |
DBLP DOI BibTeX RDF |
Compiler-interpreter system, computer description language, hardware design automation, register transfer language (RTL), simulation, error detection, design verification |
17 | Jay Earley, Howard E. Sturgis |
A formalism for translator interactions. |
Commun. ACM |
1970 |
DBLP DOI BibTeX RDF |
bootstrapping language processor, compiler, interpreter, translator, compiler-compiler |
16 | Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001 |
Towards a jitting VM for prolog execution. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
logic programming, interpreters, partial evaluation, jit |
16 | Michiaki Tatsubori, Akihiko Tozawa, Toyotaro Suzumura, Scott Trent, Tamiya Onodera |
Evaluation of a just-in-time compiler retrofitted for PHP. |
VEE |
2010 |
DBLP DOI BibTeX RDF |
dynamic scripting languages, just-in-time compiler, php |
16 | Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson 0001 |
Agile specifications. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
specification statement, formal methods, test-driven development, agile methods, refinement calculus |
16 | Yosi Ben-Asher, Nadav Rotem |
The effect of unrolling and inlining for Python bytecode optimizations. |
SYSTOR |
2009 |
DBLP DOI BibTeX RDF |
optimizations, Python, bytecode, dynamic languages |
16 | Marzio Sala, William F. Spotz, Michael A. Heroux |
PyTrilinos: High-performance distributed-memory solvers for Python. |
ACM Trans. Math. Softw. |
2008 |
DBLP DOI BibTeX RDF |
multilevel preconditioners, nonlinear solvers, Object-oriented programming, script languages, direct solvers |
16 | Johannes Henkel, Christoph Reichenbach, Amer Diwan |
Developing and debugging algebraic specifications for Java classes. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
Algebraic interpretation, specification discovery, algebraic specifications |
16 | Boris Feigin, Alan Mycroft |
Jones optimality and hardware virtualization: a report on work in progress. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
Jones optimality, virtual machines, virtualization, full abstraction |
16 | Gregory B. Prokopski, Clark Verbrugge |
Analyzing the performance of code-copying virtual machines. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
code-copying, performance, virtual machines, dynamic analysis, compiler optimization, branch prediction |
16 | Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci |
The architecture and design of a malleable object-oriented prolog engine. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
prolog, finite state machine, object-oriented design |
16 | Anne Marie Piper, James D. Hollan |
Supporting medical conversations between deaf and hearing individuals with tabletop displays. |
CSCW |
2008 |
DBLP DOI BibTeX RDF |
computer-supported cooperative health care, speech recognition, assistive technology, multimodal interfaces, deafness, multitouch, tabletop groupware |
16 | Kah Seng Tay, Kimberle Koile |
Improving digital ink interpretation through expected type prediction and dynamic dispatch. |
ICPR |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Nicolas G. Meseth, Patrick Kirchhof, Thomas Witte |
An XML-based language for DEVS components. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Patrice Godefroid, Adam Kiezun, Michael Y. Levin |
Grammar-based whitebox fuzzing. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
software testing, program verification, grammars, automatic test generation |
16 | Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Ou Wei, Aarti Gupta |
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1493 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|