|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 374 occurrences of 296 keywords
|
|
|
|
|
Results
Found 253 publication records. Showing 253 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Michael Ullmann, Michael Hübner, Björn Grimm, Jürgen Becker |
An FPGA Run-Time System for Dynamical On-Demand Reconfiguration.  |
IPDPS  |
2004 |
DBLP DOI BibTeX RDF |
ECUs, PRTR, FPGA, run-time system |
| 3 | Peter H. Beckman, Dennis Gannon |
Tulip: A Portable Run-Time System for Object-Parallel Systems. (PDF / PS)  |
IPPS  |
1996 |
DBLP DOI BibTeX RDF |
scalable, message passing, barrier, Run-Time System |
| 3 | Stefan Böcking, Vera Seidel, Per Vindeby |
CHANNELS: a run-time system for multimedia protocols.  |
ICCCN  |
1995 |
DBLP DOI BibTeX RDF |
multimedia protocols, network protocol processing, table libraries, user processes, dynamic protocol configuration support, C++ programming language, SUN/UNIX kernel, scheduling, parallel processing, multimedia communication, buffer, high-speed networks, CHANNELS, run-time system, timer, entities, transport systems, network devices |
| 2 | Jean Yang, Chris Hawblitzel |
Safe to the last instruction: automated verification of a type-safe operating system.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
verification, operating system, type safety, run-time system |
| 2 | Upendra Shevade, Ravi Kokku, Harrick M. Vin |
Run-Time System for Scalable Network Services.  |
INFOCOM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Chung-Hsing Hsu, Wu-chun Feng |
A Power-Aware Run-Time System for High-Performance Computing.  |
SC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Michael Ullmann, Michael Hübner, Björn Grimm, Jürgen Becker |
On-Demand FPGA Run-Time System for Dynamical Reconfiguration with Adaptive Priorities.  |
FPL  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Youhui Zhang, Dongsheng Wang |
A checkpoint-based high availability run-time system for Windows NT clusters.  |
Operating Systems Review  |
2002 |
DBLP DOI BibTeX RDF |
fault tolerance, checkpointing, rollback recovery |
| 2 | Per Andersson, Krzysztof Kuchcinski, Klas Nordberg, Patrick Doherty |
Integrating a Computational Model and a Run Time System for Image Processing on a UAV.  |
DSD  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Vitaly V. Mikheev, Nikita V. Lipsky, D. Gurchenkov, P. Pavlov, Vladimir V. Sukharev, A. Markov, Sergey V. Kuksenko, Stanislav A. Fedoseev, D. Leskov, A. Yeryomin |
Overview of excelsior JET, a high performance alternative to java virtual machines.  |
Workshop on Software and Performance  |
2002 |
DBLP DOI BibTeX RDF |
ahead-of-time optimizations, scalable run-time system, java, performance |
| 2 | Saehwa Kim, Sukjae Cho, Seongsoo Hong |
Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
schedulability-aware mapping, multithreaded implementations, real time software developers, object oriented CASE tools, non-trivial optimization problem, task identification, schedulability-aware approach, mutually exclusive transactions, schedulability analysis algorithm, executable code, task derivation problem, scheduling, real-time systems, object-oriented programming, case study, real time schedulability, task model, multi-threading, CASE tools, computer aided software engineering, run-time system, design model, automated synthesis, object oriented design methods, real time object oriented models |
| 2 | Andrés Terrasa, Ana García-Fornes, Vicente J. Botti |
Including user-defined timing exception support in FRTL.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
user-defined timing exception support, FRTL, flexible hard real-time systems, task deadlines, Flexible Real-Time Linux, CPU consumption, real-time systems, Unix, exception handling, worst-case execution time, operating systems (computers), run-time system, feasibility test |
| 2 | João Luís Sobral, Alberto José Proença |
A Run-Time System for Dynamic Grain Packing.  |
Euro-Par  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Kristina Lundqvist, Lars Asplund, Stephen Mitchell |
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.  |
Ada-Europe  |
1999 |
DBLP DOI BibTeX RDF |
Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects |
| 2 | Giandomenico Spezzano, Domenico Talia |
Language Constructs and Run-Time System for Parallel Cellular Programming.  |
Euro-Par  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Antony I. T. Rowstron, Stuart Wray |
A Run-Time System for WCL.  |
ICCL Workshop: Internet Programming Languages  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Jim Burns, Adam Donlin, Jonathan Hogg, Satnam Singh, Mark De Wit |
A dynamic reconfiguration run-time system.  |
FCCM  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Vincent John Mooney III, Giovanni De Micheli |
Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system.  |
ICCAD  |
1997 |
DBLP DOI BibTeX RDF |
worst-case execution time, rtos, hardware-software codesign, real-time analysis, run-time scheduler |
| 2 | Carlton Bickford, Marie S. Teo, Gary Wallace, John A. Stankovic, Krithi Ramamritham |
A robotic assembly application on the Spring real-time system. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1996 |
DBLP DOI BibTeX RDF |
printed circuit manufacture, printed circuit layout, robotic assembly application, Spring real-time system, run-time system support, predictability demands, robotic work-cell, circuit board assembly, user understanding, target hardware properties, process layout, resource layout, shared resource usage, process suspension, efficient run-time representation, real-time systems, robots, timing, completeness, flexibility, reengineering, timing analysis, circuit layout CAD, assembling, systems re-engineering, interprocess communication, program representation, porting, ease of use, industrial robots, software development tools |
| 2 | Thomas Römke, Markus Röttger, Ulf-Peter Schroeder, Jens Simon |
On Efficient Embeddings of Grids into Grids in PARIX.  |
Euro-Par  |
1995 |
DBLP DOI BibTeX RDF |
parallel run-time system, PARIX, grids, embedding, virtual processors |
| 2 | Rajive Bagrodia, Wen-Toh Liao |
Maisie: A Language for the Design of Efficient Discrete-Event Simulations.  |
IEEE Trans. Software Eng.  |
1994 |
DBLP DOI BibTeX RDF |
Maisie, C-based discrete-event simulation language, simulation model/algorithm separation, sequential simulation algorithm, parallel conservative algorithm, parallel optimistic algorithm, recomputation overheads, state saving overheads, semantic rollback, lookahead optimization, interrogative simulation, optimizations, parallel algorithms, optimisation, discrete event simulation, synchronisation, distributed simulation, C language, run-time system, simulation languages, language constructs, synchronization overheads |
| 2 | Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill |
Ada Program Partitioning Language: A Notation for Distributing Ada Programs.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
Honeywell, Ada program partitioning language, Distributed Ada project, host development environment, language translation tools, complexity, Ada, Ada, distributed processing, software tools, distributed applications, run-time system, program interpreters, program design, APPL, hardware configuration |
| 1 | Christopher Monsanto, Nate Foster, Rob Harrison, David Walker |
A compiler and run-time system for network programming languages.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andriy Kot, Andrey N. Chernikov, Nikos Chrisochoides |
The Evaluation of an Effective Out-of-Core Run-Time System in the Context of Parallel Mesh Generation.  |
IPDPS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Kontogiannis, Ahmed Wasfy, Serge Mankovski |
Event clustering for log reduction and run time system understanding.  |
SAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Waheed Ahmed, Muhammad Shafique, Lars Bauer, Jörg Henkel |
mRTS: Run-time system for reconfigurable processors with multi-grained instruction-set extensions.  |
DATE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hui Song, Gang Huang 0001, Franck Chauvel, Yanchun Sun, Hong Mei |
SM@RT: representing run-time system data as MOF-compliant models.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
code generation, MOF, runtime model |
| 1 | Oliver Trachsel, Thomas R. Gross |
Variant-based competitive parallel execution of sequential programs.  |
Conf. Computing Frontiers  |
2010 |
DBLP DOI BibTeX RDF |
algorithmic choice, multi-variant execution, speculative execution, multi-core processors, sequential programs, adaptive execution |
| 1 | Haroon Malik |
A methodology to support load test analysis.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
principal component analysis, automation, counters, performance counters, load test |
| 1 | Moustafa Mohamed, Zheng Li, Xi Chen, Li Shang, Alan Rolf Mickelson, Manish Vachharajani, Yihe Sun |
Power-efficient variation-aware photonic on-chip network management.  |
ISLPED  |
2010 |
DBLP DOI BibTeX RDF |
networks on chip, optical interconnects, nanophotonics |
| 1 | Zeljko Vrba, Pål Halvorsen, Carsten Griwodz, Paul B. Beskow, Dag Johansen |
The Nornir Run-time System for Parallel Programs Using Kahn Process Networks.  |
NPC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Fay, Li Shang, Dirk Grunwald |
A platform for developing adaptable multicore applications.  |
CASES  |
2009 |
DBLP DOI BibTeX RDF |
parallelization, multicore, run-time systems, frequency scaling, application adaptation |
| 1 | Jason Agron, David L. Andrews |
Building heterogeneous reconfigurable systems with a hardware microkernel.  |
CODES+ISSS  |
2009 |
DBLP DOI BibTeX RDF |
FPGAs, operating systems, heterogeneous architectures |
| 1 | Stefan Wehr, Peter Thiemann |
JavaGI in the battlefield: practical experience with generalized interfaces.  |
GPCE  |
2009 |
DBLP DOI BibTeX RDF |
JavaGI, external methods, retroactive interface implementation, case studies, multimethods |
| 1 | Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker |
Model-driven architectural monitoring and adaptation for autonomic systems.  |
ICAC  |
2009 |
DBLP DOI BibTeX RDF |
software architecture, model transformation, autonomic computing, model-driven engineering, model synchronization |
| 1 | Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt |
Precise garbage collection for C.  |
ISMM  |
2009 |
DBLP DOI BibTeX RDF |
garbage collection, precise, conservative, c programming language, accurate |
| 1 | Anthony Allevato, Stephen H. Edwards, Manuel A. Pérez-Quiñones |
Dereferee: exploring pointer mismanagement in student code.  |
SIGCSE  |
2009 |
DBLP DOI BibTeX RDF |
null dereference, pointer checking, smart pointer, tdd, test-first coding, test-driven development, memory leak, dynamic memory management, programming assignment, dangling pointer |
| 1 | Joey Paquet |
Distributed Eductive Execution of Hybrid Intensional Programs.  |
COMPSAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimundo José de Araújo Macêdo, Allan Edgard Silva Freitas |
A Generic Group Communication Approach for Hybrid Distributed Systems.  |
DAIS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes Marqués, Gregorio Quintana-Ortí, Enrique S. Quintana-Ortí, Robert A. van de Geijn |
Out-of-Core Computation of the QR Factorization on Multi-core Processors.  |
Euro-Par  |
2009 |
DBLP DOI BibTeX RDF |
high performance, multi-core processors, QR factorization, out-of-core computation, Dense linear algebra |
| 1 | Lee W. Howes, Anton Lokhmotov, Alastair F. Donaldson, Paul H. J. Kelly |
Deriving Efficient Data Movement from Decoupled Access/Execute Specifications.  |
HiPEAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Bonelli, Federico Feller |
The Logic of Proofs as a Foundation for Certifying Mobile Computation.  |
LFCS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Rozenberg, Ehud Gudes, Yuval Elovici, Yuval Fledel |
Method for Detecting Unknown Malicious Executables.  |
RAID  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | George Teodoro, Tulio Tavares, Renato Ferreira, Tahsin M. Kurç, Wagner Meira Jr., Dorgival Olavo Guedes Neto, Tony Pan, Joel H. Saltz |
A Run-time System for Efficient Execution of Scientific Workflows on Distributed Environments.  |
International Journal of Parallel Programming  |
2008 |
DBLP DOI BibTeX RDF |
Parallel computing, Data-analysis, Scientific workflows |
| 1 | Daniel Fireman, George Teodoro, André Cardoso, Renato Ferreira |
A Reconfigurable Run-Time System for Filter-Stream Applications.  |
SBAC-PAD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Bauer, Muhammad Shafique, Stephanie Kreutz, Jörg Henkel |
Run-time System for an Extensible Embedded Processor with Dynamic Instruction Set.  |
DATE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Effinger-Dean, Matthew Kehrt, Dan Grossman |
Transactional events for ML.  |
ICFP  |
2008 |
DBLP DOI BibTeX RDF |
synchronous message passing, transactional events, concurrency |
| 1 | Stefan Bienk |
Asam odx: syntax as semantics.  |
ICSE  |
2008 |
DBLP DOI BibTeX RDF |
asam odx, middleware, formal semantics, automotive |
| 1 | Christopher Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas |
Towards adaptive programming: integrating reinforcement learning into a programming language.  |
OOPSLA  |
2008 |
DBLP DOI BibTeX RDF |
adaptive programming, partial programming, object-oriented programming, reinforcement learning |
| 1 | Reinhard Wolfinger |
Plug-in architecture and design guidelines for customizable enterprise applications.  |
OOPSLA Companion  |
2008 |
DBLP DOI BibTeX RDF |
run-time adaptation, plug-in architecture |
| 1 | Takashi Okumura, Bruce R. Childers, Daniel Mossé |
Running a Java VM inside an operating system kernel.  |
VEE  |
2008 |
DBLP DOI BibTeX RDF |
kernel extensibility, network management, Java virtual machine, just-in-time |
| 1 | Olivier Certner, Zheng Li, Pierre Palatin, Olivier Temam, Frederic Arzel, Nathalie Drach |
A Practical Approach for Reconciling High and Predictable Performance in Non-Regular Parallel Programs.  |
DATE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander |
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems.  |
DATE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Bader, Viktor K. Prasanna |
DOSA: design optimizer for scientific applications.  |
IPDPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Quintana-Ortí, Enrique S. Quintana-Ortí, Ernie Chan, Robert A. van de Geijn, Field G. Van Zee |
Scheduling of QR Factorization Algorithms on SMP and Multi-Core Architectures.  |
PDP  |
2008 |
DBLP DOI BibTeX RDF |
linear algebra libraries, high-performance, dynamic scheduling, out-of-order execution, QR factorization |
| 1 | Lars Bauer, Muhammad Shafique, Jörg Henkel |
Efficient Resource Utilization for an Extensible Processor Through Dynamic Instruction Set Adaptation.  |
IEEE Trans. VLSI Syst.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghee Lim, Thomas W. Reps |
A System for Generating Static Analyzers for Machine Instructions.  |
CC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Mottola, Gian Pietro Picco, Adil Amjad Sheikh |
FiGaRo: Fine-Grained Software Reconfiguration for Wireless Sensor Networks.  |
EWSN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Quintana-Ortí, Enrique S. Quintana-Ortí, Alfredo Remón, Robert A. van de Geijn |
An Algorithm-by-Blocks for SuperMatrix Band Cholesky Factorization.  |
VECPAR  |
2008 |
DBLP DOI BibTeX RDF |
linear algebra libraries, high-performance, dynamic scheduling, out-of-order execution, Cholesky factorization, band matrices |
| 1 | Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong |
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.  |
VSTTE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong Ge, Xizhou Feng, Wu-chun Feng, Kirk W. Cameron |
CPU MISER: A Performance-Directed, Run-Time System for Power-Aware Clusters.  |
ICPP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Huang, Laxmikant V. Kalé |
Charisma: orchestrating migratable parallel objects.  |
HPDC  |
2007 |
DBLP DOI BibTeX RDF |
migratable objects, parallel programming productivity, adaptivity, orchestration |
| 1 | James A. Clause, Wanchun Li, Alessandro Orso |
Dytan: a generic dynamic taint analysis framework.  |
ISSTA  |
2007 |
DBLP DOI BibTeX RDF |
information flow, general framework, dynamic tainting |
| 1 | Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang |
Software behavior oriented parallelization.  |
PLDI  |
2007 |
DBLP DOI BibTeX RDF |
program behavior, speculative parallelization |
| 1 | Chris Nettleton, Wilson Ifill, Colin Marsh |
Towards a demonstrably-correct ada compiler.  |
SIGAda  |
2007 |
DBLP DOI BibTeX RDF |
compiler, correctness, ada95 |
| 1 | Fan Yang 0002, Nitin Gupta 0003, Nicholas Gerner, Xin Qi, Alan J. Demers, Johannes Gehrke, Jayavel Shanmugasundaram |
A unified platform for data driven web applications with automatic client-server partitioning.  |
WWW  |
2007 |
DBLP DOI BibTeX RDF |
Hilda, client server partitioning, data driven application, Web 2.0, declarative language |
| 1 | Daniele Paolo Scarpazza, Patrick Mullaney, Oreste Villa, Fabrizio Petrini, Vinod Tipparaju, D. M. L. Brown, Jarek Nieplocha |
Transparent system-level migration of PGAS applications using Xen on InfiniBand.  |
CLUSTER  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maik Nijhuis, Herbert Bos, Henri E. Bal |
A Component-based Coordination Language for Efficient Reconfigurable Streaming Applications.  |
ICPP  |
2007 |
DBLP DOI BibTeX RDF |
XML, components, reconfigurability, Streaming, user interaction, consumer electronics |
| 1 | Alban Douillet, Guang R. Gao |
Software-Pipelining on Multi-Core Architectures.  |
PACT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Bader, Viktor K. Prasanna |
DOSA: Design Optimizer for Scientific Applications.  |
IPDPS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan W. Berry, Bruce Hendrickson, Simon Kahan, Petr Konecny |
Software and Algorithms for Graph Queries on Multithreaded Architectures.  |
IPDPS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Fischmeister, Oleg Sokolsky, Insup Lee |
A Verifiable Language for Programming Real-Time Communication Schedules.  |
IEEE Trans. Computers  |
2007 |
DBLP DOI BibTeX RDF |
Time division multiaccess, Scheduling, Real time systems, Networks, Software verification and validation |
| 1 | N. Pete Sedcole, Peter Y. K. Cheung, George A. Constantinides, Wayne Luk |
Run-Time Integration of Reconfigurable Video Processing Systems.  |
IEEE Trans. VLSI Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Aldea Rivas, José F. Ruiz |
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT.  |
Ada-Europe  |
2007 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Compilers, POSIX, Ada 2005 |
| 1 | Rafik A. Salama, Ahmed Sameh |
UPC Collective Operations Optimization.  |
ICCSA  |
2007 |
DBLP DOI BibTeX RDF |
UPC Compiler, Optimization, Parallel Programming, Collective Operations |
| 1 | Stefan Betermieux, Birgit Bomsdorf |
Finalizing Dialog Models at Runtime.  |
ICWE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Katasonov, Vagan Y. Terziyan |
SmartResource Platform and Semantic Agent Programming Language (S-APL).  |
MATES  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Rupak Majumdar |
Verifying Compensating Transactions.  |
VMCAI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | George Teodoro, Tulio Tavares, Renato Ferreira, Tahsin M. Kurç, Wagner Meira Jr., Dorgival Olavo Guedes Neto, Tony Pan, Joel H. Saltz |
A Run-time System for Efficient Execution of Scientific Workflows on Distributed Environments.  |
SBAC-PAD  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Brenner |
Enabling Run-Time System Verification through Built-In Testing.  |
TAIC PART  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan del Cuvillo, Weirong Zhu, Guang R. Gao |
Landing openMP on cyclops-64: an efficient mapping of openMP to a many-core system-on-a-chip.  |
Conf. Computing Frontiers  |
2006 |
DBLP DOI BibTeX RDF |
performance evaluation, chip multiprocessor, openMP, system-on-a-chip, run-time system |
| 1 | Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi |
Language support for fast and reliable message-based communication in singularity OS.  |
EuroSys  |
2006 |
DBLP DOI BibTeX RDF |
data ownership, protocols, asynchronous communication, channels, static checking |
| 1 | Jeffrey Dean |
Experiences with MapReduce, an abstraction for large-scale computation.  |
PACT  |
2006 |
DBLP DOI BibTeX RDF |
performance, design, algorithms, reliability |
| 1 | Christopher Mueller, Andrew Lumsdaine |
Runtime synthesis of high-performance code from scripting languages.  |
OOPSLA Companion  |
2006 |
DBLP DOI BibTeX RDF |
chemical fingerprint, synthetic programming, SIMD, Python, meta-programming, machine code |
| 1 | Christopher Barton, Calin Cascaval, George Almási, Yili Zheng, Montse Farreras, Siddhartha Chatterjee, José Nelson Amaral |
Shared memory programming for large scale machines.  |
PLDI  |
2006 |
DBLP DOI BibTeX RDF |
BlueGene, PGAS programming model, UPC |
| 1 | Philippe Meunier, Robert Bruce Findler, Matthias Felleisen |
Modular set-based analysis from contracts.  |
POPL  |
2006 |
DBLP DOI BibTeX RDF |
modular analysis, runtime contracts, static debugging, set-based analysis |
| 1 | Hyun Joon Shin, Hyun Seok Oh |
Fat graphs: constructing an interactive character with continuous controls.  |
Symposium on Computer Animation  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence Rauchwerger, Nancy M. Amato |
SmartApps: middle-ware for adaptive applications on reconfigurable platforms.  |
Operating Systems Review  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvon Jégou |
Dynamic Memory Management on Mome DSM.  |
CCGRID  |
2006 |
DBLP DOI BibTeX RDF |
memory management, OpenMP, DSM |
| 1 | Lap-Chung Lam, Wei Li 0020, Tzi-cker Chiueh |
Accurate and Automated System Call Policy-Based Intrusion Prevention.  |
DSN  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Schröder-Preikschat, Daniel Lohmann, Fabian Scheler, Wasif Gilani, Olaf Spinczyk |
Static and Dynamic Weaving in System Software with AspectC++.  |
HICSS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | R. L. Graham |
Aspects of heterogeneous computing in the open MPI environment.  |
IPDPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Huang, Chee Wai Lee, Laxmikant V. Kalé |
Support for adaptivity in ARMCI using migratable objects.  |
IPDPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hübner, Christian Schuck, Jürgen Becker |
Elementary block based 2-dimensional dynamic and partial reconfiguration for Virtex-II FPGAs.  |
IPDPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Palatin, Yves Lhuillier, Olivier Temam |
CAPSULE: Hardware-Assisted Parallel Execution of Component-Based Programs.  |
MICRO  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen S. Yau, Choksing Taweponsomkiat, Dazhi Huang |
A Framework for Extensible Component Customization for Component-based Software Development.  |
QSIC  |
2006 |
DBLP DOI BibTeX RDF |
component customization framework, extensible component, software reuse, Component-based software development (CBSD), application domains |
| 1 | Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin |
Determining Maximum Stack Usage in Preemptive Shared Stack Systems.  |
RTSS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh |
A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment.  |
EUC Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann |
WASH Server Pages.  |
FLOPS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hervé Paulino, Luís M. B. Lopes |
A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus.  |
JMLC  |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 253 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|