Search results for "Interpreter"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Brett Cannon, Eric Wohlstadter	Automated object persistence for JavaScript.	WWW	2010	DBLP DOI BibTeX RDF	web storage, JavaScript, object persistence, html5, json
8	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
8	Colin Blundell, Arun Raghavan, Milo M. K. Martin	RETCON: transactional repair without replay.	ISCA	2010	DBLP DOI BibTeX RDF	parallel programming, transactional memory
8	Robert Harrison, Christine W. Chan	Dyna: A Tool for Dynamic Knowledge Modeling.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF
8	Gemma Piella	Image Fusion for Enhanced Visualization: A Variational Approach.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Perceptual contrast enhancement, Geometry-based fusion, Image fusion, Structure tensor
8	Juan Antonio Navarro Pérez, Andrey Rybalchenko	Operational Semantics for Declarative Networking.	PADL	2009	DBLP DOI BibTeX RDF	distributed systems, programming language semantics, Declarative networking
8	Christian Wimmer, Marcelo Silva Cintra, Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz	Phase detection using trace compilation.	PPPJ	2009	DBLP DOI BibTeX RDF	trace compilation, Java, optimization, data flow, just-in-time compilation, phase detection
8	Yves Younan, Pieter Philippaerts, Frank Piessens, Wouter Joosen, Sven Lachmund, Thomas Walter 0001	Filter-resistant code injection on ARM.	CCS	2009	DBLP DOI BibTeX RDF	alphanumeric shellcode, filter-resistance, turing completeness
8	Hooman Javaheri, Guevara Noubir, Sanaa Noubir	RF Control of Biological Systems: Applications to Wireless Sensor Networks.	NanoNet	2009	DBLP DOI BibTeX RDF	energy harvesting, wireless sensors, RF, biological system
8	J. Scott Miller, Peter A. Dinda, Robert P. Dick	Evaluating a BASIC approach to sensor network node programming.	SenSys	2009	DBLP DOI BibTeX RDF	sensor networks, cyber-physical systems, BASIC
8	Michael Blow, Vinayak R. Borkar, Michael J. Carey 0001, Chris Hillery, Alexander Kotopoulis, Dmitry Lychagin, Radu Preotiuc-Pietro, Panagiotis Reveliotis, Joshua Spiegel, Till Westmann	Updates in the AquaLogic Data Services Platform.	ICDE	2009	DBLP DOI BibTeX RDF
8	Sergio González-Valenzuela, Min Chen 0003, Victor C. M. Leung	Design, Implementation and Case Study of WISEMAN: WIreless Sensors Employing Mobile AgeNts.	MOBILWARE	2009	DBLP DOI BibTeX RDF	wireless sensor networks, performance evaluation, Mobile agents
8	Mads Ingstrup, Klaus Marius Hansen	Modeling architectural change: Architectural scripting and its applications to reconfiguration.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
8	Joxan Jaffar, Andrew E. Santosa	Recursive Abstractions for Parameterized Systems.	FM	2009	DBLP DOI BibTeX RDF
8	Frédéric Majorczyk, Jonathan-Christofer Demay	Automated Instruction-Set Randomization for Web Applications in Diversified Redundant Systems.	ARES	2009	DBLP DOI BibTeX RDF
8	Junghee Lim, Akash Lal, Thomas W. Reps	Symbolic Analysis via Semantic Reinterpretation.	SPIN	2009	DBLP DOI BibTeX RDF
8	Simone Campanoni, Martino Sykora, Giovanni Agosta, Stefano Crespi-Reghizzi	Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment.	CC	2009	DBLP DOI BibTeX RDF
8	Richard Zanibbi, Dorothea Blostein, James R. Cordy	White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making.	ICVS	2009	DBLP DOI BibTeX RDF	Performance Evaluation, Domain-Specific Languages, Scripting Languages, Document Recognition, Table Recognition
8	Jesús Manuel Almendros-Jiménez	An Encoding of XQuery in Prolog.	XSym	2009	DBLP DOI BibTeX RDF
8	Anna Carpenter Cavender, Jeffrey P. Bigham, Richard E. Ladner	ClassInFocus: enabling improved visual attention strategies for deaf and hard of hearing students.	ASSETS	2009	DBLP DOI BibTeX RDF	deaf and hard of hearing users, multimedia conferencing technology, classroom technology
8	James H. Andrews, Fatima Hussain	Johar: a framework for developing accessible applications.	ASSETS	2009	DBLP DOI BibTeX RDF	accessible computing, application programs
8	Marco Avvenuti, Alessio Vecchio	Mobile visual access to legacy voice-based applications.	Mobility Conference	2009	DBLP DOI BibTeX RDF	Java micro edition, mobile devices, Android, VoiceXML
8	Csaba Attila Marosi, Zoltán Balaton, Péter Kacsuk	GenWrapper: A generic wrapper for running legacy applications on desktop grids.	IPDPS	2009	DBLP DOI BibTeX RDF
8	Jamie Cullen	Evolutionary meta programming.	GEC Summit	2009	DBLP DOI BibTeX RDF	evolutionary meta compilation, evolutionary meta programming, genetic programming, evolutionary computation, grammatical evolution
8	Jamie Cullen	Evolving common LISP programs in a linear-genotype evolutionary computation system.	GEC Summit	2009	DBLP DOI BibTeX RDF	evolutionary meta compilation, evolutionary meta programming, artificial intelligence, genetic programming, evolutionary computation, grammatical evolution
8	Ahmadou Al Khary Séré, Julien Iguchi-Cartigny, Jean-Louis Lanet	Automatic detection of fault attack and countermeasures.	WESS	2009	DBLP DOI BibTeX RDF
8	Nicholas Paul Sheppard, Reihaneh Safavi-Naini	On the operational semantics of rights expression languages.	Digital Rights Management Workshop	2009	DBLP DOI BibTeX RDF	operational semantics, digital rights management, rights expression languages
8	Jongmyung Choi, Sangjoon Park, Hoon Ko, Hyun-Joo Moon, Jongchan Lee	Issues for Applying Instant Messaging to Smart Home Systems.	ICCSA (1)	2009	DBLP DOI BibTeX RDF	Appliance Collaboration, Instant Messaging, Smart Home
8	Andreas Blunk, Joachim Fischer, Daniel A. Sadilek	Modelling a Debugger for an Imperative Voice Control Language.	SDL Forum	2009	DBLP DOI BibTeX RDF
8	Vincent Laviron, Francesco Logozzo	SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities.	VMCAI	2009	DBLP DOI BibTeX RDF
8	Mehdi Dastani	Normative Multi-Agent Organizations.	ESAW	2009	DBLP DOI BibTeX RDF
8	Areti Manataki, Yun-Heh Chen-Burger	Analysing Supply Chain Strategies Using Knowledge-Based Techniques.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Dell, FBPML, declarative approach, logical formal method, simulation, supply chain management, business process modelling, workflow engine
8	Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra	The architecture of the Utrecht Haskell compiler.	Haskell	2009	DBLP DOI BibTeX RDF	compiler architecture, haskell, attribute grammar, aspect orientation
8	Peter Novák 0001, Wojciech Jamroga	Code patterns for agent-oriented programming.	AAMAS (1)	2009	DBLP BibTeX RDF	ai, description level: methodologies and languages, focus: agent programming languages, inspiration source: robotics, temporal logic, agent-oriented programming, code patterns
8	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code: a Model for Mobile Code Safety.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
8	Steve Barker, Michael Leuschel, Mauricio Varea	Efficient and flexible access control via Jones-optimal logic program specialisation.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Access control, Program transformation, Deductive databases, Partial evaluation, Meta-programming
8	Luigi Liquori, Arnaud Spiwack	FeatherTrait: A modest extension of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java, inheritance, language design, language semantics
8	Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen	Normalize, transpose, and distribute: An automatic approach for handling nonscalars.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	automatic loop generation, Automatic parallelisms
8	Tina Yu, Dave Wilkinson	A Co-Evolutionary Fuzzy System for Reservoir Well Logs Interpretation.	Evolutionary Computation in Practice	2008	DBLP DOI BibTeX RDF	reservoir modeling and characterization, co-operative co-evolution, well logs interpretation, fuzzy logic, genetic programming, time series
8	Torsten Ullrich, Ulrich Krispel, Dieter W. Fellner	Compilation of procedural models.	Web3D	2008	DBLP DOI BibTeX RDF	generative/procedural modeling, model compiler, XML, computer graphics, modeling languages, graphics systems
8	Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum	Impact of JVM superoperators on energy consumption in resource-constrained embedded systems.	LCTES	2008	DBLP DOI BibTeX RDF	superoperators, embedded systems, java virtual machine, energy estimation, profile-guided optimization
8	Olivier Danvy, Jacob Johannsen	Inter-deriving Semantic Artifacts for Object-Oriented Programming.	WoLLIC	2008	DBLP DOI BibTeX RDF
8	Stephan Korsholm, Martin Schoeberl, Anders P. Ravn	Interrupt Handlers in Java.	ISORC	2008	DBLP DOI BibTeX RDF
8	Jelena Mirkovic	Privacy-safe network trace sharing via secure queries.	NDA	2008	DBLP DOI BibTeX RDF	network traces, privacy, sharing, sanitization
8	Sergey Bratus, Michael E. Locasto, Ashwin Ramaswamy, Sean W. Smith	Traps, events, emulation, and enforcement: managing the yin and yang of virtualization-based security.	VMSec	2008	DBLP DOI BibTeX RDF	debugging, virtualization, security policy, traps
8	Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001	Virtual machines and intermediate languages for emerging modularization mechanisms.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	optimization, compilation, virtual machine, interpretation, separation of concerns, dynamic dispatch, intermediate language
8	Francesco Logozzo, Manuel Fähndrich	Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.	SAC	2008	DBLP DOI BibTeX RDF	NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains
8	Fabio Mascarenhas, Roberto Ierusalimschy	Efficient compilation of Lua for the CLR.	SAC	2008	DBLP DOI BibTeX RDF	clr, lua, compilers, dynamic languages
8	Felipe Rech Meneguzzi, Michael Luck	Leveraging New Plans in AgentSpeak(PL).	DALT	2008	DBLP DOI BibTeX RDF
8	Fernando Gomez	The Acquisition of Common Sense Knowledge by Being Told: An Application of NLP to Itself.	NLDB	2008	DBLP DOI BibTeX RDF
8	Syed Hamid Tirmizi, Juan F. Sequeda, Daniel P. Miranker	Translating SQL Applications to the Semantic Web.	DEXA	2008	DBLP DOI BibTeX RDF
8	Konstantine Arkoudas, Olin Shivers	Trusted Theorem Proving: A Case Study in SLD-Resolution.	ISoLA	2008	DBLP DOI BibTeX RDF
8	Martin J. Eppler, Jeanne Mengis, Sabrina Bresciani	Seven Types of Visual Ambiguity: On the Merits and Risks of Multiple Interpretations of Collaborative Visualizations.	IV	2008	DBLP DOI BibTeX RDF
8	Thomas H. Morris, V. S. S. Nair	Privacy Protected ELF for Private Computing on Public Platforms.	ARES	2008	DBLP DOI BibTeX RDF	distributed computing security, private computing on public platforms, grid security
8	Ramón Zataraín-Cabada, María Lucía Barrón-Estrada, Guillermo Sandoval, J. Moisés Osorio-Velásquez, Eduardo Urías Barrientos, Carlos A. Reyes García	Authoring Neuro-fuzzy Tutoring Systems for M and E-Learning.	MICAI	2008	DBLP DOI BibTeX RDF	Distance Learning, Intelligent Tutoring System, Author Tool, M-Learning
8	Iván Martínez-Ortiz, Pablo Moreno-Ger, José Luis Sierra-Rodríguez, Baltasar Fernández-Manjón	A Flow-Oriented Visual Language for Learning Designs.	ICWL	2008	DBLP DOI BibTeX RDF	Educational Modeling Languages, Graphical authoring, Learning Design
8	Hyosook Jung, Jinhyun Ahn, Heejin Kim, Seongbin Park	A JXTA-based system for smart home.	MoMM	2008	DBLP DOI BibTeX RDF	smart home, JXTA
8	Jamie Cullen	Evolutionary Meta Compilation: Evolving Programs Using Real World Engineering Tools.	ICES	2008	DBLP DOI BibTeX RDF
8	Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic	AURA: a programming language for authorization and audit.	ICFP	2008	DBLP DOI BibTeX RDF	access control, type systems, audit, authorization logic
8	Nicholas Caporusso	A wearable Malossi alphabet interface for deafblind people.	AVI	2008	DBLP DOI BibTeX RDF	tactile alphabet, ubiquitous computing, multimodal feedback, deafblindness
8	Benjamin Canou, Vincent Balat, Emmanuel Chailloux	O'browser: objective caml on browsers.	ML	2008	DBLP DOI BibTeX RDF	virtual machine, javascript, web browsers, objective caml, document object model
8	Mohamed Jemni, Oussama El Ghoul	Using ICT to Teach Sign Language.	ICALT	2008	DBLP DOI BibTeX RDF
8	Carl Friedrich Bolz, Adrian Kuhn, Adrian Lienhard, Nicholas D. Matsakis, Oscar Nierstrasz, Lukas Renggli, Armin Rigo, Toon Verwaest	Back to the Future in One Week - Implementing a Smalltalk VM in PyPy.	S3	2008	DBLP DOI BibTeX RDF
8	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.	ISSTA	2008	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
8	Vinh Quang La	A Study on Java Virtual Machine for Real-Time Embedded Systems.	CSSE (2)	2008	DBLP DOI BibTeX RDF
8	Weibo Xie, Fu Ting	Design and Implementation of the Virtual Machine Constructing on Register.	CSSE (2)	2008	DBLP DOI BibTeX RDF
8	Zhenchun Huang, Guoqing Li	Building Data Grid for Spatial Information Applications by Meta-Data Adapters.	CSSE (3)	2008	DBLP DOI BibTeX RDF
8	Mark Muir, Iain Lindsay, Tughrul Arslan, Ioannis Nousias, Sami Khawam, Mark Milward, Nazish Aslam, Adam Major	Extensible software emulator for reconfigurable instruction cell based processors.	SoCC	2008	DBLP DOI BibTeX RDF
8	Misako Nambu, Akira Okamoto, Shigeki Miyoshi, Masatsugu Sakajiri	Dialog Support for Deafblind Persons by Conveying Backchannels through Vibration.	ICCHP	2008	DBLP DOI BibTeX RDF	Vibration Information, Back-channel, Communication, Mental Workload, Deafblind
8	Pedro J. Morcillo, Ginés Moreno	Programming with Fuzzy Logic Rules by Using the FLOPER Tool.	RuleML	2008	DBLP DOI BibTeX RDF	Rule-Based Environments, Fuzzy Logic Programming
8	Freddy Lécué, Alain Léger, Alexandre Delteil	DL Reasoning and AI Planning for Web Service Composition.	Web Intelligence	2008	DBLP DOI BibTeX RDF
8	Haipeng Cheng, Zheng Chen, Bei Hua, Xinan Tang	Scalable packet classification using interpreting: a cross-platform multi-core solution.	PPoPP	2008	DBLP DOI BibTeX RDF	architecture, multithreading, network processor, packet classification, thread-level parallelism, embedded system design
8	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	Test Data Generation of Bytecode by CLP Partial Evaluation.	LOPSTR	2008	DBLP DOI BibTeX RDF
8	Duane Merrill, Kim M. Hazelwood	Trace fragment selection within method-based JVMs.	VEE	2008	DBLP DOI BibTeX RDF	region selection, JVM, traces, JIT compilation
8	Franck Barbier	Supporting the UML State Machine Diagramsat Runtime.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	UML, Statecharts, model executability
8	Grégoire Hamon, John M. Rushby	An operational semantics for Stateflow.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
8	Una-May O'Reilly, Martin Hemberg	Integrating generative growth and evolutionary computation for form exploration.	Genet. Program. Evolvable Mach.	2007	DBLP DOI BibTeX RDF	Architecture, L-systems, Evolutionary design, Grammatical evolution, Interactive evolutionary computation
8	Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han	Goal-directed weakening of abstract interpretation results.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
8	Phillipa Oaks, Arthur H. M. ter Hofstede	Guided interaction: A mechanism to enable ad hoc service interaction.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Web services, Interaction, Ad hoc, Guided
8	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla	Verification of Java Bytecode Using Analysis and Transformation of Logic Programs.	PADL	2007	DBLP DOI BibTeX RDF
8	Dirk Kleeblatt	Checking Dependent Types Using Compiled Code.	IFL	2007	DBLP DOI BibTeX RDF
8	Sumit Gulwani, Ashish Tiwari 0001	An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.	CAV	2007	DBLP DOI BibTeX RDF
8	Sye Loong Keoh, Naranker Dulay, Emil Lupu, Kevin P. Twidle, Alberto E. Schaeffer Filho, Morris Sloman, Steven Heeps, Stephen D. Strowes, Joseph S. Sventek	Self-Managed Cell: A Middleware for Managing Body-Sensor Networks.	MobiQuitous	2007	DBLP DOI BibTeX RDF
8	Christopher J. F. Pickett	Software speculative multithreading for Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, parallelism, virtual machines, thread level speculation, speculative multithreading
8	Ulrike Ranger, Erhard Weinell	The Graph Rewriting Language and Environment PROGRES.	AGTIVE	2007	DBLP DOI BibTeX RDF
8	Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Éric Tanter	Mirages: behavioral intercession in a mirror-based architecture.	DLS	2007	DBLP DOI BibTeX RDF	AmbientTalk, mirages, reflection, metaprogramming, mirrors
8	Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis	RPython: a step towards reconciling dynamically and statically typed OO languages.	DLS	2007	DBLP DOI BibTeX RDF	JVM, Python, NET
8	Thomas Kotzmann, Hanspeter Mössenböck	Run-Time Support for Optimizations Based on Escape Analysis.	CGO	2007	DBLP DOI BibTeX RDF
8	Felipe Rech Meneguzzi, Michael Luck	Composing High-Level Plans for Declarative Agent Programming.	DALT	2007	DBLP DOI BibTeX RDF
8	Hui Song, Yanchun Sun, Li Zhou, Gang Huang 0001	Towards Instant Automatic Model Refinement Based on OCL.	APSEC	2007	DBLP DOI BibTeX RDF
8	Yoshiyuki Yamashita, Masato Tsuru	Software Pipelining for Packet Filters.	HPCC	2007	DBLP DOI BibTeX RDF
8	Dorian Miller, Karl Gyllstrom, P. David Stotts, James Culp	Semi-transparent video interfaces to assist deaf persons in meetings.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	assistive technology for deaf, meeting accommodations, semi-transparent video, videoconferencing
8	Alex Bahouth, Steven Crites, Norman S. Matloff, Todd Williamson	Revisiting the Issue of Performance Enhancement of Discrete Event Simulation Software.	Annual Simulation Symposium	2007	DBLP DOI BibTeX RDF
8	Gregory Hughes, Peter Robinson 0001	Photonote evaluation: aiding students with disabilities in a lecture environment.	ASSETS	2007	DBLP DOI BibTeX RDF
8	Pawel Pietrzak, Manuel V. Hermenegildo	Automatic Binding-Related Error Diagnosis in Logic Programs.	ICLP	2007	DBLP DOI BibTeX RDF
8	Thomas Weigold, Thorsten Kramp, Peter Buhler	ePVM - An Embeddable Process Virtual Machine.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
8	Xiaoyan Wang 0001, Shufen Liu, Shuqiu Li	A Model Driven based Aspect Oriented Model Weaving Framework for Distributed System.	CSCWD	2007	DBLP DOI BibTeX RDF
8	Lars-Åke Fredlund, Hans Svensson	McErlang: a model checker for a distributed functional programming language.	ICFP	2007	DBLP DOI BibTeX RDF
8	Bernd Braßel, Michael Hanus, Sebastian Fischer 0001, Frank Huch, Germán Vidal	Lazy call-by-value evaluation.	ICFP	2007	DBLP DOI BibTeX RDF	debugging techniques, laziness
8	Yoshiyuki Yamashita, Masato Tsuru	Code Optimization for Packet Filters.	SAINT Workshops	2007	DBLP DOI BibTeX RDF