|
|
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 |
15 | Yasushi Shinjo, Calton Pu |
Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
runtime specialization, thread-specific data, Performance, concurrent programming, threads, portability, software libraries |
15 | Nico Janssens, Wouter Joosen, Pierre Verbaeten |
NeCoMan: Middleware for Safe Distributed-Service Adaptation in Programmable Networks. |
IEEE Distributed Syst. Online |
2005 |
DBLP DOI BibTeX RDF |
safe runtime adaptation of distributed services, network consistency, programmable networks |
15 | Alexander Joseph Ahern, Nobuko Yoshida |
Formalising Java RMI with explicit code mobility. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Java, distribution, optimisation, types, runtime, RMI, code mobility |
15 | Hani Z. Girgis, Bharat Jayaraman, Paul V. Gestwicki |
Visualizing errors in object oriented programs. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
runtime visual queries, Java, visualization, debugging, errors |
15 | Sandria N. Kerr |
A big-O experiment: which function is it? |
ACM Southeast Regional Conference (1) |
2005 |
DBLP DOI BibTeX RDF |
big-O, laboratory assignments, computer science education, runtime analysis |
15 | William G. J. Halfond, Alessandro Orso |
AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
static analysis, runtime monitoring, SQL injection |
15 | Stefan Brass, Christian Goldberg |
Proving the Safety of SQL Queries. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
Runtime Errors, SQL, Consistency |
15 | Francesco Bellotti, Alessandro De Gloria, Andrea Poggi, Luisa Andreone, S. Damiani, P. Knoll |
Designing configurable automotive dashboards on liquid crystal displays. |
Cogn. Technol. Work. |
2004 |
DBLP DOI BibTeX RDF |
Digital automotive dashboards, Road user tests, Liquid crystal displays, Multimedia systems, Human-machine interaction, Graphics design, Car, Runtime configurability |
15 | Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington |
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
mars flight software, model checking, testing, static analysis, runtime analysis |
15 | Sachin Kogekar, Sandeep Neema, Brandon Eames, Xenofon D. Koutsoukos, Ákos Lédeczi, Miklos Maroti |
Constraint-guided dynamic reconfiguration in sensor networks. |
IPSN |
2004 |
DBLP DOI BibTeX RDF |
runtime/dynamic software reconfiguration, design space exploration |
15 | Ion Constantinescu, Boi Faltings, Walter Binder |
Type based service composition. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
large scale discovery, runtime non-determinism, type based composition, web services, partial matches |
15 | Matthias Hauswirth, Trishul M. Chilimbi |
Low-overhead memory leak detection using adaptive statistical profiling. |
ASPLOS |
2004 |
DBLP DOI BibTeX RDF |
low-overhead monitoring, runtime analysis, memory leaks |
15 | Hezi Azatchi, Erez Petrank |
Integrating Generations with Advanced Reference Counting Garbage Collectors. |
CC |
2003 |
DBLP DOI BibTeX RDF |
Garbage collection, Memory management, Runtime systems, Generational Garbage Collection |
15 | Jürgen Becker 0001, Michael Hübner 0001, Michael Ullmann |
Power Estimation and Power Measurement of Xilinx Virtex FPGAs: Trade-Offs and Limitations. |
SBCCI |
2003 |
DBLP DOI BibTeX RDF |
Virtex FPGA, runtime reconfiguration, power consumption |
15 | Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson |
Heap architectures for concurrent languages using message passing. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
message passing, garbage collection, erlang, runtime systems, concurrent languages |
15 | Ching-Hsien Hsu |
Optimization of Sparse Matrix Redistribution on Multicomputers. |
ICPP Workshops |
2002 |
DBLP DOI BibTeX RDF |
matrix redistribution, sparse matrix, runtime support, data redistribution |
15 | Peter Brezany, Marian Bubak, Maciej Malawski, Katarzyna Zajac 0001 |
Large-Scale Scientific Irregular Computing on Clusters and Grids. |
International Conference on Computational Science (1) |
2002 |
DBLP DOI BibTeX RDF |
runtime library, clusters, Grid, irregular problems, out-of-core computing |
15 | Ilhyun Kim, Mikko H. Lipasti |
Implementing Optimizations at Decode Time. |
ISCA |
2002 |
DBLP DOI BibTeX RDF |
speculative scheduling, speculative decode, silent store, reference combining, confidence prediction, runtime optimizations |
15 | Ching-Hsien Hsu, Yeh-Ching Chung, Don-Lin Yang, Chyi-Ren Dow |
A Generalized Processor Mapping Technique for Array Redistribution. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
generalized processor mapping, distributed memory multicomputers, runtime support, Array redistribution |
15 | Nam Huyn |
Speeding up View Maintenance Using Cheap Filters at the Warehouse. |
ICDE |
2000 |
DBLP DOI BibTeX RDF |
Data Warehouse, View Maintenance, Runtime Optimization |
15 | Thilo Kielmann, Henri E. Bal, Sergei Gorlatch |
Bandwidth-Efficient Collective Communication for Clustered Wide Area Systems. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
Models for Parallel Computers, Optimization, Grid Computing, Interconnection Networks, MPI, Performance Modeling, Cluster Computing, Runtime Support, Latency Tolerance |
15 | Chi-Min Lin, Tien-Fu Chen |
Dynamic memory management for real-time embedded Java chips. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
storage management chips, dynamic runtime memory management, real-time embedded Java chips, CPU design, hardware-assisted scheme, dynamic garbage collection mechanism, predictable memory allocation time, data transition events, circular heap, simulation, Java, embedded systems, response time, memory architecture, memory architecture, storage allocation, coprocessors, resource constraints, real-time constraints, co-processor |
15 | Richard M. Fujimoto, Thom McLean, Kalyan S. Perumalla, Ivan Tacic |
Design of High Performance RTI Software. |
DS-RT |
2000 |
DBLP DOI BibTeX RDF |
runtime infrastructure, High Level Architecture, time management, data distribution management |
15 | Alexander D. Stoyen, Thomas J. Marlowe, Mohamed F. Younis, Plamen V. Petrov |
A Development Environment for Complex Distributed Real-Time Applications. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
Engineering of complex distributed real-time systems, integrated tool suites, user-transparent handling of complexity, runtime kernels, code transformers and optimizers, schedulability analyzers, compilation, C++, monitoring, debugging, allocation, CRL |
15 | Judith S. Dahmann, Katherine L. Morse |
High Level Architecture for Simulation: An Update. |
DIS-RT |
1998 |
DBLP DOI BibTeX RDF |
Object Model Template, Simulation Object Models, HLA Federation, Federation Object Models, Runtime Infrastructure, HLA, Interface Specification |
15 | Vaduvur Bharghavan, Vijay Gupta |
A framework for application adaptation in mobile computing environments. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
scarce resources, dynamically varying resources, dynamic operating conditions, quality of service monitoring, quality of service notification, Prayer mobile computing environment, runtime support, mobile computing environments, network quality of service, quality of service negotiation, application adaptation, mobile radio |
15 | Chye-Lin Chee, Hongjun Lu, Hong Tang, C. V. Ramamoorthy |
Improving I/O response times via prefetching and storage system reorganization. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
I/O response times, storage system reorganization, storage management system, data access characteristics, runtime statistics, adaptive reorganization, application-specific data clustering mechanisms, default mechanisms, potential read time speedups, storage reorganization, prefetching, storage management, access patterns |
15 | Sachin More, Alok N. Choudhary, Ian T. Foster, Ming Q. Xu |
MTIO - A Multi-Threaded Parallel I/O System. |
IPPS |
1997 |
DBLP DOI BibTeX RDF |
MTIO, multi-threaded runtime library, computation tasks, asynchronous I/O, copy avoidance, I/O thread, compute thread, optimal buffer size, large requests, performance, load balance, concurrency, file system, data distributions, software libraries, communication overhead, access patterns, collective I/O, IBM SP2, shared address space, parallel I/O system |
15 | Kam Hong Shum |
Fault tolerant cluster computing through replication. |
ICPADS |
1997 |
DBLP DOI BibTeX RDF |
fault tolerant cluster computing, runtime overhead, fault tolerance schemes, checkpoint states, fault tolerant model, Fujitsu AP3000 multi-processor machine, performance evaluation, replication, workstation clusters, workstation cluster, fault recovery, resource consumption, program termination |
15 | Kee Chang Lee, ChangWhan Sul, KwangYun Wohn |
Virtual Stage: a scenario-based karaoke system in a virtual environment. |
PG |
1997 |
DBLP DOI BibTeX RDF |
Virtual Stage, scenario-based karaoke system, interactive scenarios, song, video image analysis, rendered scene, virtual reality, virtual environment, music, multimedia system, entertainment, entertainment, authoring tools, virtual characters, runtime environment |
15 | Michael Stillger, Johann K. Obermaier, Johann Christoph Freytag |
AQuES: An Agent-based Query Evaluation System. |
CoopIS |
1997 |
DBLP DOI BibTeX RDF |
AQuES, agent-based query evaluation system, heterogeneous hardware modules, agent-based query optimization, independent data parallelism, dynamic execution strategies, distributed symmetric processes, distributed query execution, parallel algorithms, distributed databases, distributed database, cooperative system, resource scheduling, parallel database, runtime, algebra operators, database optimization |
15 | Ingo Claßen, Herbert Weber, Yanbo Han |
Towards evolutionary and adaptive workflow systems-infrastructure support based on Higher-Order Object Nets and CORBA. |
EDOC |
1997 |
DBLP DOI BibTeX RDF |
adaptive workflow systems, evolutionary workflow systems, infrastructure support, continuous software engineering perspective, runtime on-the-fly modifications, real-world business processes, build-time composition model, run-time overall control skeleton, layered system architecture, framework-based system architecture, generic system architecture, object-oriented programming, CORBA, software components, redesign, workflow language |
15 | Luisa Massari, Yves Mahéo |
Performance Evualuation of Automatically Generated Data-Parallel Programs. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
automatically generated data-parallel programs, data-parallel compilers, sequential language, data distribution directives, static description, dynamic description, workload characterization techniques, Pandore environment, profile generation, performance evaluation, parallel programming, software performance evaluation, automatic programming, data partitioning, runtime system, workload model, parallelising compilers, distributed memory parallel computers, performance indices, program execution, trace generation |
15 | David S. Rosenblum |
A Practical Approach to Programming With Assertions. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Anna, APP, formal specifications, formal methods, C, programming environments, assertions, consistency checking, software faults, runtime checking |
15 | Bernd Dreier, Theo Ungerer |
Implementing distributed shared memory based on DCE. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
DCE, Open Software Foundation, security problems, shared file management, heterogeneous computer network, globally shared address space, translator algorithms, precompiler, parallel programming, parallel programming, concurrency, computer networks, shared memory systems, distributed shared memory, threads, distributed programming, distributed memory systems, file organisation, remote procedure calls, remote procedure calls, runtime system, POSIX, multithreaded programs, Distributed Computing Environment |
15 | Peter S. Magnusson, Bengt Werner |
Efficient memory simulation in SimICS. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
efficient memory simulation, SimICS, instruction level simulator, complex memory hierarchies, user level code, system level code, software caching mechanism, Simulator Translation Cache, STC, interpreted memory operations, complex memory simulation code, lazy storage allocation, well defined internal interface, generic memory simulation, user extensions, threaded code, runtime selection, statistics gathering, memory profiling, data structures, data structures, virtual machines, multiprocessors, storage management, storage allocation |
15 | Bongki Moon, Mustafa Uysal, Joel H. Saltz |
Index translation schemes for adaptive computations on distributed memory multicomputers. |
IPPS |
1995 |
DBLP DOI BibTeX RDF |
index translation schemes, globally indexed algorithms, CHAOS runtime support library, software-cached translation, distributed translation table technique, statically irregular problems, 3D DSMC code, NASA Langley, Gray T3D, performance evaluation, parallel programming, parallel programming, program compilers, distributed memory systems, program interpreters, distributed memory multicomputers, adaptive computations, Intel Paragon, optimal performance |
15 | Ralf Diekmann, Reinhard Lüling, Burkhard Monien, Carsten Spräner |
A parallel local-search algorithm for the k-partitioning problem. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
parallel local-search algorithm, k-partitioning problem, helpful sets, abstraction technique, runtime dynamic graph shrinking, MIMD systems, parallel algorithms, computational complexity, graph theory, heuristics, search problems, computation times, heuristic programming, stochastic methods, parallel efficiency, graph bisection, solution quality, processor numbers |
15 | Wesley K. Kaplow, William Maniatty, Boleslaw K. Szymanski |
Impact of memory hierarchy on program partitioning and scheduling. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
parallel program scheduling, nonlinear cache-miss rates, loop nest execution simulation, architecturally parameterized cache simulator, loop range, cache-miss ratio, loop interchange, iteration-space blocking, program runtime estimation, IBM 9076 SP1, SuperSPARC, scheduling, parallel programming, optimisation, memory hierarchy, processor scheduling, software performance evaluation, memory architecture, cache storage, program optimization, cache performance, program control structures, program partitioning, Intel i860 |
15 | Chi-Hung Chi, Chi-Sum Ho, Siu-Chung Lau |
Reducing memory latency using a small software driven array cache. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
small software driven array cache, data references, array reference, nonarray reference, data cache designs, cache space, cache control mechanisms, array references, data cache performance, hardware driven data prefetching scheme, software driven cache design, array cache, low runtime overhead, performance evaluation, data structures, compiler, programming, programming, prefetching, program compilers, cache storage, cache performance, temporal locality, spatial locality, memory latency |
15 | Alvin S. Lim |
Automatic analytical tools for reliability and dynamic adaptation of complex distributed systems. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
automatic analytical tools, complex distributed systems, runtime facilities, complex application behavior, reliability, formal specification, distributed processing, software tools, software reliability, software fault tolerance, reachability analysis, liveness, reachability, dynamic adaptation, failure recovery, development environment, behavior specification, group behavior |
15 | Pierre E. Sorel, Mariano G. Fernandez, Sumit Ghosh |
A Dynamic Debugger for Asynchronous Distributed Algorithms. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
dynamic debugger, asynchronous distributed algorithms, LPdbx, distributed runtime debugger, loosely coupled parallel processors, iconic interface, program suspension, pointer references, banking applications, transportation applications, shareware, data structures, data structures, distributed algorithms, graphical user interfaces, program debugging, transportation, breakpoints, bank data processing, global variables |
15 | Gopi K. Attaluri |
An efficient expected cost algorithm for dynamic indexing of spatial objects. |
CASCON |
1994 |
DBLP BibTeX RDF |
range locking, runtime complexity, indexing, concurrency control, spatial databases |
15 | Robert Law |
Using student blogs for documentation in software development projects. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. |
EICS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Vilas Sridharan, David R. Kaeli |
Using hardware vulnerability factors to enhance AVF analysis. |
ISCA |
2010 |
DBLP DOI BibTeX RDF |
architectural vulnerability factor, fault tolerance, reliability |
15 | Efe Yardimci, Michael Franz |
Mostly static program partitioning of binary executables. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Continuous compilation and optimization, dynamic parallelization, binary translation |
15 | Per Larsen, Sven Karlsson, Jan Madsen |
Identifying Inter-task Communication in Shared Memory Programming Models. |
IWOMP |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Kiev Gama, Didier Donsez |
Towards Dynamic Component Isolation in a Service Oriented Platform. |
CBSE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris |
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Fengguang Song, Asim YarKhan, Jack J. Dongarra |
Dynamic task scheduling for linear algebra algorithms on distributed-memory multicore systems. |
SC |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Qi Gao 0004, Wenbin Zhang 0005, Yan Tang, Feng Qin |
First-aid: surviving and preventing memory management bugs during production runs. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
memory bug diagnosis, software reliability, software failure, error prevention |
15 | Carlos Parra 0002, Xavier Blanc 0001, Laurence Duchien |
Context awareness for dynamic service-oriented product lines. |
SPLC |
2009 |
DBLP BibTeX RDF |
|
15 | Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian |
Design and implementation of transactional constructs for C/C++. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, C/C++ |
15 | Ronald G. Dreslinski, Gregory K. Chen, Trevor N. Mudge, David T. Blaauw, Dennis Sylvester, Krisztián Flautner |
Reconfigurable energy efficient near threshold cache architectures. |
MICRO |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Christian Wolter, Andreas Schaad, Christoph Meinel |
Task-based entailment constraints for basic workflow patterns. |
SACMAT |
2008 |
DBLP DOI BibTeX RDF |
task-based entailment constraints, access control, workflow management, separation of duty, workflow modelling |
15 | Sameer Kumar 0001, Gábor Dózsa, Gheorghe Almási 0001, Philip Heidelberger, Dong Chen 0005, Mark Giampapa, Michael Blocksome, Ahmad Faraj, Jeff Parker, Joe Ratterman, Brian E. Smith, Charles Archer |
The deep computing messaging framework: generalized scalable message passing on the blue gene/P supercomputer. |
ICS |
2008 |
DBLP DOI BibTeX RDF |
application programmer interface, parallel computing, MPI, message passing, collective communication, sockets, active messages, blue gene |
15 | Costin Iancu, Wei Chen 0011, Katherine A. Yelick |
Performance portable optimizations for loops containing communication operations. |
ICS |
2008 |
DBLP DOI BibTeX RDF |
communication, parallel programming, program transformations, code generation, latency hiding, performance portability |
15 | Tong Chen, Haibo Lin, Tao Zhang |
Orchestrating data transfer for the cell/B.E. processor. |
ICS |
2008 |
DBLP DOI BibTeX RDF |
software controlled cache, multi-core system, memory coherence |
15 | Balakumar Kendai, Sharma Chakravarthy |
Load Shedding in MavStream: Analysis, Implementation, and Evaluation. |
BNCOD |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Guillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur, Laurence Duchien |
A Model-Based Framework for Statically and Dynamically Checking Component Interactions. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jan S. Rellermeyer, Michael Duller, Gustavo Alonso |
Consistently Applying Updates to Compositions of Distributed OSGi Modules. |
HotSWUp |
2008 |
DBLP DOI BibTeX RDF |
modules, updates, OSGi, R-OSGi |
15 | Krutartha Patel, Sri Parameswaran |
SHIELD: a software hardware design methodology for security and reliability of MPSoCs. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
bit flips, tensilica, architecture, multiprocessors, code injection |
15 | Sumir Chandra, Xiaolin Li 0001, Taher Saif, Manish Parashar |
Enabling scalable parallel implementations of structured adaptive mesh refinement applications. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
SAMR scalability, Bin-packing based load-balancing, MPI non-blocking communication optimization, 3-D Richtmyer-Meshkov application, Structured adaptive mesh refinement, Hierarchical partitioning |
15 | Charles Reis, John Dunagan, Helen J. Wang, Opher Dubrovsky, Saher Esmeir |
BrowserShield: Vulnerability-driven filtering of dynamic HTML. |
ACM Trans. Web |
2007 |
DBLP DOI BibTeX RDF |
code rewriting, JavaScript, Web browser, vulnerability |
15 | Jinjun Chen, Yun Yang 0001 |
Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems. |
ACM Trans. Auton. Adapt. Syst. |
2007 |
DBLP DOI BibTeX RDF |
adaptive checkpoint selection, temporal verification, temporal constraints, Grid workflows |
15 | Issam Aib, Raouf Boutaba |
Business-Driven Optimization of Policy-Based Management solutions. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Monnier |
The swiss coercion. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
type based security, formal methods, compilation, coercions |
15 | Sanna Tuohimaa, Ville Leppänen |
A compact aspect-based security monitor for J2ME applications. |
CompSysTech |
2007 |
DBLP DOI BibTeX RDF |
security, mobile phone, AOP, AspectJ, mobile code, J2ME |
15 | Umut A. Acar, Benoît Hudson, Gary L. Miller, Todd Phillips |
SVR: Practical Engineering of a Fast 3D Meshing Algorithm*. |
IMR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan |
Reliable and efficient programming abstractions for wireless sensor networks. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, energy efficiency, deadlocks, serializability, macroprogramming |
15 | David Aspinall 0001, Patrick Maier 0001, Ian Stark |
Safety Guarantees from Explicit Resource Management. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hongli Wu, Baolin Yin, Xia Zhao, Gang Xiang |
Data description and data access mechanism in distributed workflow system. |
Infoscale |
2007 |
DBLP DOI BibTeX RDF |
data access mechanism, data description, workflow data, data flow, control flow |
15 | Francesc Guim 0001, Julita Corbalán, Jesús Labarta |
Prediction f Based Models for Evaluating Backfilling Scheduling Policies. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Keqin Li |
Optimal Period of Workload Redistribution for Dynamic Bulk Synchronous Computations in Heterogeneous Computing Systems. |
J. Supercomput. |
2006 |
DBLP DOI BibTeX RDF |
bulk synchronous computation, workload redistribution, simulation, heterogeneous computing system |
15 | Shige Wang, Kang G. Shin |
Task Construction for Model-Based Design of Embedded Control Software. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
Task construction, model transformation, embedded software, model-based design |
15 | Xiaotong Zhuang, Santosh Pande |
Effective thread management on network processors with compiler analysis. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
real-time scheduling, compiler optimizations, network processors, CPU scheduling |
15 | Jun Rao, Hamid Pirahesh, C. Mohan 0001, Guy M. Lohman |
Compiled Query Execution Engine using JVM. |
ICDE |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Danne, Roland Mühlenbernd, Marco Platzner |
Executing Hardware Tasks on Dynamically Reconfigurable Devices Under Real-Time Conditions. |
FPL |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Tim Miller 0001, Peter McBurney |
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols. |
ESAW |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Manfred Lau, James J. Kuffner |
Precomputed search trees: planning for interactive goal-driven animation. |
Symposium on Computer Animation |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Murat Karaorman, Parker Abercrombie |
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
jContractor, Java, Design by Contract, bytecode instrumentation |
15 | Ioana Banicescu, Ricolindo Cariño, Jaderick P. Pabico, Mahadevan Balasubramaniam |
Overhead Analysis of a Dynamic Load Balancing Library for Cluster Computing. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Dirk Sudholt |
Crossover is provably essential for the ising model on trees. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
expected optimization time, mutation vs. crossover, ising model, theoretical analysis, fitness sharing |
15 | Brian Babcock, Shivnath Babu, Mayur Datar, Rajeev Motwani 0001, Dilys Thomas |
Operator scheduling in data stream systems. |
VLDB J. |
2004 |
DBLP DOI BibTeX RDF |
Scheduling, Data streams, Memory management, Latency |
15 | Renata Bandelloni, Fabio Paternò |
Flexible interface migration. |
IUI |
2004 |
DBLP DOI BibTeX RDF |
migratory interfaces, multi-platform applications, adaptive interfaces, remote control |
15 | Ryan Williams 0001 |
A New Algorithm for Optimal Constraint Satisfaction and Its Implications. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Keqin Li 0001 |
Optimal Period of Workload Redistribution for Dynamic Bulk Synchronous Computations in Heterogeneous Computing Systems. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Takashi Masuyama, Frédéric Peschanski, Yoshihiro Oyama, Akinori Yonezawa |
MobileScope: A Programming Language with Objective Mobility. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Wei Du, Gagan Agrawal |
Language and Compiler Support for Adaptive Applications. |
SC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Luping Ding, Elke A. Rundensteiner, George T. Heineman |
MJoin: a metadata-aware stream join operator. |
DEBS |
2003 |
DBLP DOI BibTeX RDF |
XQuery Subscription, optimization, Metadata, constraint, join algorithms, XML Stream |
15 | Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
Ownership types for safe region-based memory management in real-time Java. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
real-time, encapsulation, regions, ownership types |
15 | Panagiotis E. Hadjidoukas, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou |
OpenMP for Adaptive Master-Slave Message Passing Applications. |
ISHPC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Chao Huang 0029, Orion Sky Lawlor, Laxmikant V. Kalé |
Adaptive MPI. |
LCPC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Le Sommer, Frédéric Guidec |
Middleware Support for Resource-Constrained Software Deployment. |
DAIS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Mohsen Sharifi, Behrouz Zolfaghari |
An Approach to Exploiting Skewed Associative Memories in Avionics Systems. |
ICPADS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew |
On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. |
ISPAN |
2002 |
DBLP DOI BibTeX RDF |
points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation |
15 | Su-Hui Chiang, Andrea C. Arpaci-Dusseau, Mary K. Vernon |
The Impact of More Accurate Requested Runtimes on Production Job Scheduling Performance. |
JSSPP |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Dilma Da Silva, Karsten Schwan, Greg Eisenhauer |
CTK: Configurable Object Abstractions for Multiprocessors. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
high-performance objects, object fragmentation, complex parallel programming, library operating systems, dynamic adaptation, Configurable systems |
15 | Dimitrios S. Nikolopoulos, Eduard Ayguadé |
A Study of Implicit Data Distribution Methods for OpenMP Using the SPEC Benchmarks. |
WOMPAT |
2001 |
DBLP DOI BibTeX RDF |
|
|
|