|
|
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 |
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 |
|
Displaying result #901 - #1000 of 1493 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|