|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9030 occurrences of 3583 keywords
|
|
|
Results
Found 12890 publication records. Showing 12890 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Stefan Ihmor, Wolfram Hardt |
Runtime Reconfigurable Interfaces - The RTR-IFB Approach. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yeliang Zhang, Jingmei Yang, Salim Hariri, Sumir Chandra, Manish Parashar |
Autonomic Proactive Runtime Partitioning Strategies for SAMR Applications. |
IPDPS Next Generation Software Program - NSFNGS - PI Workshop |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jost Berthold |
Towards a Generalised Runtime Environment for Parallel Haskells. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Saumil Shah, Kanak Agarwal, Dennis Sylvester |
A New Threshold Voltage Assignment Scheme for Runtime Leakage Reduction in On-Chip Repeaters. |
ICCD |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Eduardo Tavares, Raimundo S. Barreto, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Marília Neves, Ricardo Massa Ferreira Lima |
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints. |
SBAC-PAD |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Cong Du, Sumonto Ghosh, Shashank Shankar, Xian-He Sun |
A Runtime System for Autonomic Rescheduling of MPI Programs. |
ICPP |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Chun Yi Choi, Qiong Luo 0001 |
Template-Based Runtime Invalidation for Database-Generated Web Contents. |
APWeb |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jennifer Hamilton |
Language integration in the common language runtime. |
ACM SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
common type system, language interoperability, metadata, virtual machine, exception handling, intermediate language |
17 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner |
Memory safety without runtime checks or garbage collection. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management |
17 | Steven Ritter 0001, Stephen Blessing, Leslie Wheeler |
User Modeling and Problem-Space Representation in the Tutor Runtime Engine. |
User Modeling |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Olav Beckmann, Alastair Houghton, Michael R. Mellor, Paul H. J. Kelly |
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation. |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Arnab Paul, Nissim Harel, Sameer Adhikari, Bikash Agarwalla, Umakishore Ramachandran, Kenneth M. Mackenzie |
Performance study of a cluster runtime system for dynamic interactive stream-oriented applications. |
ISPASS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Heather Quinn, Laurie A. Smith King, Miriam Leeser, Waleed Meleis |
Runtime Assignment of Reconfigurable Hardware Components for Image Processing Pipelines. |
FCCM |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Panagiotis E. Hadjidoukas, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou |
Runtime Support for Multigrain and Multiparadigm Parallelism. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok |
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. |
FMCO |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Xiaogang Li 0001, Ruoming Jin, Gagan Agrawal |
Compiler and Runtime Support for Shared Memory Parallelization of Data Mining Algorithms. |
LCPC |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Filip Zelezný, Ashwin Srinivasan 0001, David Page |
Lattice-Search Runtime Distributions May Be Heavy-Tailed. |
ILP |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Liang Peng, Weng-Fai Wong, Chung-Kwong Yuen |
SilkRoad II: A Multi-Paradigm Runtime System for Cluster Computing. |
CLUSTER |
2002 |
DBLP DOI BibTeX RDF |
memory consistency models, parallel programming paradigm, Software DSM |
17 | Ramesh Radhakrishnan, Narayanan Vijaykrishnan, Lizy Kurian John, Anand Sivasubramaniam, Juan Rubio 0001, Jyotsna Sabarinathan |
Java Runtime Systems: Characterization and Architectural Implications. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
CPU and cache architectures, Java, performance evaluation, benchmarking, ILP, Java bytecodes |
17 | Peng Yang, Chun Wong, Paul Marchal, Francky Catthoor, Dirk Desmet, Diederik Verkest, Rudy Lauwereins |
Energy-Aware Runtime Scheduling for Embedded-Multiprocessor SOCs. |
IEEE Des. Test Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Chandra Mulpuri, Scott Hauck |
Runtime and quality tradeoffs in FPGA placement and routing. |
FPGA |
2001 |
DBLP DOI BibTeX RDF |
fast CAD for FPGAs, FPGAs, routing, computer-aided design, placement |
17 | Dong Zhou, Yuan Chen 0001, Greg Eisenhauer, Karsten Schwan |
Active Brokers and Their Runtime Deployment in the ECho/JECho Distributed Event Systems. |
Active Middleware Services |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Richard Potter |
Computation Scrapbooks of Emacs Lisp Runtime State. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Hong Tang 0004, Kai Shen, Tao Yang 0009 |
Program transformation and runtime support for threaded MPI execution on shared-memory machines. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
lock-free synchronization, multiprogrammed environments, threaded execution, MPI, program transformation, shared-memory machines |
17 | Masha Sosonkina |
Runtime Adaptation of an Iterative Linear System Solution to Distributed Environments. |
PARA |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Marc Bumble, Lee D. Coraor, Lily Elefteriadou |
Exploring CORSIM Runtime Characteristics: Profiling a Traffic Simulator. |
Annual Simulation Symposium |
2000 |
DBLP DOI BibTeX RDF |
Simulator, FPGA, Traffic, Reconfigurable Logic, Machine |
17 | Ingo Wegener |
On the Expected Runtime and the Success Probability of Evolutionary Algorithms. |
WG |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Shuusuke Haruna, Norio Sanada, Hisayuki Kinoh |
A GUI Software Design Model and its Runtime Architecture for Digital AV Applications. |
ISMSE |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Rauber, Gudula Rünger |
Modelling the Runtime of Scientific Programs on Parallel Computers. |
ICPP Workshops |
2000 |
DBLP DOI BibTeX RDF |
MPI, performance modelling, scientific computing, numerical analysis, PVM, Cray T3E, Cray T3D |
17 | Min-You Wu, Wei Shu, Yong Chen |
Runtime Parallel Incremental Scheduling of DAGs. |
ICPP |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jiannong Cao 0001, Y. Liu, Li Xie 0001, Kang Zhang 0001 |
Portable Runtime Support for Graph-oriented Parallel and Distributed Programming. |
ISPAN |
2000 |
DBLP DOI BibTeX RDF |
dynamic speculation of data dependence, instruction reissue, register update unit, Instruction level parallelism, out-of-order execution |
17 | Liang Peng, Weng-Fai Wong, Ming-Dong Feng, Chung-Kwong Yuen |
SilkRoad: A Multithreaded Runtime System with Software Distributed Shared Memory for SMP Clusters. |
CLUSTER |
2000 |
DBLP DOI BibTeX RDF |
Cluster computing, multithreading, software distributed shared memory |
17 | James S. Plank, Michael G. Thomason |
The Average Availability of Parallel Checkpointing Systems and Its Importance in Selecting Runtime Parameters. |
FTCS |
1999 |
DBLP DOI BibTeX RDF |
parallel computation, Checkpointing, performance prediction, parameter selection |
17 | Liang Peng, Ming-Dong Feng, Chung-Kwong Yuen |
Evaluation of the Performance of Multithreaded Cilk Runtime System on SMP Clusters. |
IWCC |
1999 |
DBLP DOI BibTeX RDF |
performance evaluation, cluster computing, multithreading |
17 | Matthew C. Merten, Andrew R. Trick, Christopher N. George, John C. Gyllenhaal, Wen-mei W. Hwu |
A Hardware-Driven Profiling Scheme for Identifying Program Hot Spots to Support Runtime Optimization. |
ISCA |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Bischof 0001, Ernst W. Mayr |
On-Line Scheduling of Parallel Jobs with Runtime Restrictions. |
ISAAC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Joseph P. Loyall, David E. Bakken, Richard E. Schantz, John A. Zinky, David A. Karr, Rodrigo Vanegas, Kenneth R. Anderson 0002 |
QoS Aspect Languages and Their Runtime Integration. |
LCR |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Guy Edjlali, Alan Sussman, Joel H. Saltz |
Interoperability of Data Parallel Runtime Libraries. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Matthew Haines, Koen Langendoen |
Platform-Independent Runtime Optimizations Using OpenThreads. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen Nehmer, Peter Sturm 0001 |
Generating Dedicated Runtime Platforms for Distributed Applications - A Generic Approach. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
Operating Systems, Software Reuse |
17 | Ian T. Foster, Carl Kesselman |
Language Constructs and Runtime Systems for Compositional Parallel Programming. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Mark D. Weiser, Alan J. Demers, Carl Hauser |
The Portable Common Runtime Approach to Interoperability. |
SOSP |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Anoop Gupta, Andrew Tucker |
Exploiting Variable Grain Parallelism at Runtime. |
PPOPP/PPEALS |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Jörg Lässig, Dirk Sudholt |
The benefit of migration in parallel evolutionary algorithms. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
migration, runtime analysis, spatial structures, island model, parallel evolutionary algorithms |
15 | Frank Neumann 0001, Dirk Sudholt, Carsten Witt |
A few ants are enough: ACO with iteration-best update. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
iteration-best update, theory, ant colony optimization, runtime analysis |
15 | Per Kristian Lehre, Carsten Witt |
Black-box search by unbiased variation. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
black-box complexity, runtime analysis |
15 | Chris Lewis 0002 |
Zenet: generating and enforcing real-time temporal invariants. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
runtime softwarefault monitoring, specification generator, temporal invariants, video games, rule engine |
15 | Kevin Leyton-Brown, Eugene Nudelman, Yoav Shoham |
Empirical hardness models: Methodology and a case study on combinatorial auctions. |
J. ACM |
2009 |
DBLP DOI BibTeX RDF |
Empirical analysis of algorithms, algorithm portfolios, runtime prediction, combinatorial auctions |
15 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
Enforcement monitoring wrt. the safety-progress classification of properties. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
runtime enforcement, safety-progress, monitor, synthesis, property |
15 | Geoffrey Blake, Ronald G. Dreslinski, Trevor N. Mudge |
Proactive transaction scheduling for contention management. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
proactive scheduling, software runtime, hardware transactional memory |
15 | Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller |
A language and framework for invariant-driven transformations. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance |
15 | Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret |
HotWave: creating adaptive tools with dynamic aspect-oriented programming in Java. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
code hotswapping, runtime weaving, profiling, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming |
15 | Lars Grunske, Pengcheng Zhang |
Monitoring probabilistic properties. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
security, web services, performance, reliability, safety, runtime monitoring, probabilistic properties |
15 | R. Paul Wiegand, Gautham Anil, Ivan I. Garibay, Ozlem O. Garibay, Annie S. Wu |
On the performance effects of unbiased module encapsulation. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
module encapsulation, search space bias, runtime analysis |
15 | Doron Drusinsky, Man-tak Shing |
Using UML Statecharts with Knowledge Logic Guards. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior |
15 | Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin G. Zorn, Rahul Nagpal, Karthik Pattabiraman |
Detecting and tolerating asymmetric races. |
PPoPP |
2009 |
DBLP DOI BibTeX RDF |
race detection and toleration, dynamic instrumentation, runtime support |
15 | Aleksandar Dragojevic, Yang Ni, Ali-Reza Adl-Tabatabai |
Optimizing transactions for captured memory. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
software transactional memory, runtime optimizations |
15 | Chen Huang 0005, Frank Vahid |
Transmuting coprocessors: dynamic loading of FPGA coprocessors. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
coprocessing, FPGAs, online algorithms, dynamic optimization, acceleration, runtime configuration |
15 | Milos Milovanovic, Roger Ferrer, Vladimir Gajinov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero |
Nebelung: Execution Environment for Transactional OpenMP. |
Int. J. Parallel Program. |
2008 |
DBLP DOI BibTeX RDF |
Compiler, OpenMP, Software Transactional Memory, Runtime system |
15 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
15 | A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou 0002, Hilary Branske |
CMV: automatic verification of complete mediation for java virtual machines. |
AsiaCCS |
2008 |
DBLP DOI BibTeX RDF |
complete mediation, runtime monitoring |
15 | Kiev Gama, Didier Donsez |
A Practical Approach for Finding Stale References in a Dynamic Service Platform. |
CBSE |
2008 |
DBLP DOI BibTeX RDF |
stale references, dynamic services, runtime diagnostics, component validation, OSGi, memory leaks |
15 | Chen Huang 0005, David Sheldon, Frank Vahid |
Dynamic tuning of configurable architectures: the AWW online algorithm. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
FPGAs, cache, online algorithms, dynamic optimization, tuning, configurable architecture, runtime configuration |
15 | Kevin W. Hamlen, Micah Jones |
Aspect-oriented in-lined reference monitors. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
in-lined reference monitors, object-oriented programming, aspect-oriented programming, runtime verification, security automata |
15 | Seung-Jai Min, Rudolf Eigenmann |
Optimizing irregular shared-memory applications for clusters. |
ICS |
2008 |
DBLP DOI BibTeX RDF |
irregular data accesses, runtime technique, performance, MPI, openMP, compiler analysis |
15 | Tobias Friedrich 0001, Pietro S. Oliveto, Dirk Sudholt, Carsten Witt |
Theoretical analysis of diversity mechanisms for global exploration. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
deterministic crowding, diversity, exploration, runtime analysis, fitness sharing |
15 | Jerry Hom, Ulrich Kremer |
Execution context optimization for disk energy. |
CASES |
2008 |
DBLP DOI BibTeX RDF |
synchronization, user study, multiprogramming, runtime adaptation |
15 | Grzegorz Lehmann, Marco Blumendorf, Sebastian Feuerstack, Sahin Albayrak |
Utilizing Dynamic Executable Models for User Interface Development. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
runtime interpretation, human-computer interaction, model-based user interfaces |
15 | Yoshihiro Sugaya, Hiroshi Tatsumi, Mitiharu Kobayashi, Hirotomo Aso |
Long-Term CPU Load Prediction System for Scheduling of Distributed Processes and its Implementation. |
AINA |
2008 |
DBLP DOI BibTeX RDF |
Long-Term CPU load prediction, runtime prediction, load balancing |
15 | Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer |
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. |
CLIMA |
2008 |
DBLP DOI BibTeX RDF |
user centric control, stochastic model checking, multi agent systems, symmetries, bisimulation, runtime analysis, cyber-physical systems |
15 | James Tuck 0001, Wonsun Ahn, Luis Ceze, Josep Torrellas |
SoftSig: software-exposed hardware signatures for code analysis and optimization. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
multi-core architectures, memory disambiguation, runtime optimization |
15 | Alper Sen 0001, Vijay K. Garg |
Formal Verification of Simulation Traces Using Computation Slicing. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory |
15 | Stijn Vansummeren |
On deciding well-definedness for query languages on trees. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
Runtime errors, well-definedness, XQuery |
15 | Yoonsik Cheon, Ashaveena Perumandla |
Specifying and checking method call sequences of Java programs. |
Softw. Qual. J. |
2007 |
DBLP DOI BibTeX RDF |
Method call sequence specification, Programming by contract, Assertion, Pre and postconditions, Runtime checking, JML language |
15 | Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel P. Correia 0001, Paulo Veríssimo |
Automated Rule-Based Diagnosis through a Distributed Monitor System. |
IEEE Trans. Dependable Secur. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Distributed system diagnosis, hierarchical Monitor system, fault injection based evaluation, runtime monitoring |
15 | George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos |
Towards security monitoring patterns. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
runtime monitoring, event calculus, security patterns |
15 | Younggyun Koh, Rob C. Knauerhase, Paul Brett, Mic Bowman, Zhihua Wen, Calton Pu |
An Analysis of Performance Interference Effects in Virtual Environments. |
ISPASS |
2007 |
DBLP DOI BibTeX RDF |
performance interference, system-level workload characteristics, runtime characteristics, Ken hypervisor, virtual environment, virtual machines, virtualization, data analysis, performance metrics, performance isolation, system throughput |
15 | Chang-Burm Cho, Tao Li 0006 |
Using Wavelet Domain Workload Execution Characteristics to Improve Accuracy, Scalability and Robustness in Program Phase Analysis. |
ISPASS |
2007 |
DBLP DOI BibTeX RDF |
program execution variability, workload execution statistics, program phase analysis, computer architecture design, computer architecture optimization, program execution statistics, SPEC CPU 2000 benchmark, wavelet domain phase analysis, runtime workload execution characteristics, scalable phase analysis, sampled workload statistics, phase classification accuracy, wavelet transform, time domain, wavelet denoising |
15 | Cristóbal Costa Soria, Jennifer Pérez, José A. Carsí |
Dynamic Adaptation of Aspect-Oriented Components. |
CBSE |
2007 |
DBLP DOI BibTeX RDF |
software architectures, reflection, AOSD, CBSD, runtime adaptation, dynamic evolution, component adaptability |
15 | Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren |
A crash course on database queries. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
nested relational calculus, runtime error, typability, well-definedness, reflection, type system, type inference, XQuery, relational algebra |
15 | Jiwon Hahn, Pai H. Chou |
Buffer optimization and dispatching scheme for embedded systems with behavioral transparency. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
behavioral transparency, model of computation, runtime system, memory optimization, component software, buffer allocation |
15 | Benjamin Doerr, Daniel Johannsen |
Adjacency list matchings: an ideal genotype for cycle covers. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
randomized local, evolutionary algorithm, search, runtime analysis, cycle cover, Euler tour |
15 | Yuanyuan Song |
Adaptation hiding modularity. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
adaptation hiding, runtime self-adaptation |
15 | Bratin Saha, Ali-Reza Adl-Tabatabai, Anwar M. Ghuloum, Mohan Rajagopalan, Richard L. Hudson, Leaf Petersen, Vijay Menon 0002, Brian R. Murphy, Tatiana Shpeisman, Eric Sprangle, Anwar Rohillah, Doug Carmean, Jesse Fang |
Enabling scalability and performance in a large scale CMP environment. |
EuroSys |
2007 |
DBLP DOI BibTeX RDF |
runtime design, scheduler design, sequestered mode, parallel programming, memory management, transactional memory, multi-core processors, synchronization primitives |
15 | Susan Eisenbach, Chris Sadler, Dominic Wong |
Component Adaptation in Contemporary Execution Environments. |
DAIS |
2007 |
DBLP DOI BibTeX RDF |
component evolution, runtime systems, .NET, dynamic linking, execution environments, component adaptation |
15 | Hao Yu 0008, Lawrence Rauchwerger |
An Adaptive Algorithm Selection Framework for Reduction Parallelization. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
Runtime parallelization, reduction parallelization, compiler optimization, adaptive optimization |
15 | Koushik Sen, Grigore Rosu, Gul Agha |
Online efficient predictive safety analysis of multithreaded programs. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis |
15 | Dennis Sylvester, David T. Blaauw, Eric Karl |
ElastIC: An Adaptive Self-Healing Architecture for Unpredictable Silicon. |
IEEE Des. Test Comput. |
2006 |
DBLP DOI BibTeX RDF |
unpredictable silicon, runtime self-diagnosis, adaptivity, architecture, process variations, self-healing, ElastIC, technology scaling |
15 | Ravishankar K. Iyer |
Security vulnerabilities: from measurements to design. |
AsiaCCS |
2006 |
DBLP DOI BibTeX RDF |
analysis of security vulnerabilities, masking techniques, runtime detection of security attacks |
15 | Lubomír Bulej, Tomás Bures |
Eliminating Execution Overhead of Disabled Optional Features in Connectors. |
EWSA |
2006 |
DBLP DOI BibTeX RDF |
runtime reconfiguration, software connectors, Component systems |
15 | Pavel Avgustinov, Julian Tibble, Eric Bodden, Laurie J. Hendren, Ondrej Lhoták, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam |
Efficient trace monitoring. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program analysis, runtime verification, program monitoring |
15 | Zhendong Su 0001, Gary Wassermann |
The essence of command injection attacks in web applications. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
command injection attacks, web applications, parsing, grammars, runtime verification |
15 | Iván Martínez-Ortiz, Pablo Moreno-Ger, José Luis Sierra, Baltasar Fernández-Manjón |
Production and Deployment of Educational Videogames as Assessable Learning Objects. |
EC-TEL |
2006 |
DBLP DOI BibTeX RDF |
adventure educational videogames, IEEE ECMAScript content to runtime service communication, IEEE Data Model for Content, , assessment, learning objects, learning management systems, edutainment, game-based learning |
15 | Haim Kermany, Erez Petrank |
The Compressor: concurrent, incremental, and parallel compaction. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
garbage collection, memory management, compaction, runtime systems, concurrent garbage collection |
15 | William G. J. Halfond, Alessandro Orso |
Preventing SQL injection attacks using AMNESIA. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
static analysis, runtime monitoring, SQL injection |
15 | Anthony Savidis |
More dynamic imperative languages. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
dynamically extensible semantics, polymorphic pattern programming, runtime inheritance, dynamic languages |
15 | Yi Yang 0014, Du Li |
Supporting Adaptable Consistency Control in Structured Collaborative Workspaces. |
Comput. Support. Cooperative Work. |
2005 |
DBLP DOI BibTeX RDF |
component-based groupware, groupware framework, runtime plug-n-play, adaptability, system design, flexibility, consistency control, collaborative workspace |
15 | Ching-Hsien Hsu |
Sparse Matrix Block-Cyclic Realignment on Distributed Memory Machines. |
J. Supercomput. |
2005 |
DBLP DOI BibTeX RDF |
data realignment, parallel algorithm, sparse matrix, distributed memory machines, runtime support |
15 | Ann Gordon-Ross, Frank Vahid |
Frequent Loop Detection Using Efficient Nonintrusive On-Chip Hardware. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
Frequent value profiling, runtime profiling, on-chip profiling, hardware profiling, frequent loop detection, hot spot detection, dynamic optimization |
15 | Rean Griffith, Gail E. Kaiser |
Manipulating managed execution runtimes to support self-healing systems. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
CLR, common language runtime, online reconfiguration, autonomic computing, JIT compiler, self-healing systems |
|
|