Search results for "runtime"

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