|
|
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 |
30 | Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak |
Executable Models for Human-Computer Interaction. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
runtime interpretation, human-computer interaction, model-based user interfaces |
30 | Andreas Bauer 0002, Jan Jürjens |
Security protocols, properties, and their monitoring. |
SESS |
2008 |
DBLP DOI BibTeX RDF |
monitoring of history-based properties, temporal logic, security protocols, runtime verification, language-based security, security automata |
30 | Yun-Hong Lee, Albert Mo Kim Cheng |
Optimizing Real-Time Equational Rule-Based Systems. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
EQL language, real-time rule-based systems, graphs, runtime optimization |
29 | Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta |
Runtime Verification of C Memory Safety. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
29 | John M. Rushby |
Runtime Certification. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Cindy Eisner |
PSL for Runtime Verification: Theory and Practice. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard |
Runtime Checking for Program Verification. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Rui Machado, Carsten Lojewski |
The Fraunhofer virtual machine: a communication library and runtime system based on the RDMA model. |
Comput. Sci. Res. Dev. |
2009 |
DBLP DOI BibTeX RDF |
Fraunhofer virtual machine, Runtime system, RDMA |
28 | David England, Martin Randles, A. Taleb-Bendiab |
Runtime user interface design and adaptation. |
BCS HCI |
2009 |
DBLP BibTeX RDF |
user interface description, situation calculus, runtime adaptation |
28 | Simone Pellegrini, Jie Wang, Thomas Fahringer, Hans Moritsch |
Optimizing MPI Runtime Parameter Settings by Using Machine Learning. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
runtime parameter tuning, optimization, MPI, multi-core |
28 | Marwan Abi-Antoun, Jonathan Aldrich |
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture |
28 | Sylvain Hallé, Roger Villemaire |
Runtime monitoring of web service choreographies using streaming XML. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
streaming XML, web services, runtime monitoring |
28 | Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret |
Advanced runtime adaptation for Java. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
code hotswapping, runtime aspect adaptation and (re)weaving, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming |
28 | Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola |
Qos-driven runtime adaptation of service oriented architectures. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
quality of service, service-oriented architecture, runtime adaptation |
28 | Paramvir Singh, Hardeep Singh |
DynaMetrics: a runtime metric-based analysis tool for object-oriented software systems. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
metric tool, performance, measurement, static analysis, software metrics, profiling, trace, runtime analysis |
28 | Marwan Abi-Antoun, Jonathan Aldrich |
A field study in static extraction of runtime architectures. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
architecture recovery, ownership types, runtime architecture |
28 | Marwan Abi-Antoun, Jonathan Aldrich |
Tool support for the static extraction of sound hierarchical representations of runtime object graphs. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
architectural extraction, runtime architecture |
28 | Marwan Abi-Antoun |
Static extraction and conformance checking of the runtime architecture of object-oriented systems. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
architectural extraction, ownership types, conformance checking, runtime architecture |
28 | Reinhard Wolfinger, Stephan Reiter, Deepak Dhungana, Paul Grünbacher, Herbert Prähofer |
Supporting Runtime System Adaptation through Product Line Engineering and Plug-in Techniques. |
ICCBSS |
2008 |
DBLP DOI BibTeX RDF |
Runtime System Adaptation, Composition, Product Line Engineering, Plug-in Architecture |
28 | Jasminka Matevska |
An Optimised Runtime Reconfiguration of Component-Based Software Systems. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Runtime Reconfiguration, Service Responsiveness, Minimal Interference, Availability, Component-based Systems |
28 | Dirk Sudholt, Carsten Witt |
Runtime analysis of binary PSO. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
particle swarm optimization, runtime analysis |
28 | Mike Houston, Ji Young Park, Manman Ren, Timothy J. Knight, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan |
A portable runtime interface for multi-level memory hierarchies. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
PMH, sequoia, parallelism, memory hierarchies, runtime |
28 | Dan Tsafrir, Yoav Etsion, Dror G. Feitelson |
Backfilling Using System-Generated Predictions Rather than User Runtime Estimates. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
runtime estimates, system-generated predictions, history-based predictions, dynamic prediction correction, EASY, EASY++, SJBF, performance metrics, Parallel job scheduling, backfilling |
28 | Kevin A. Huck, Allen D. Malony, Sameer Shende, Alan Morris |
TAUg: Runtime Global Performance Data Access Using MPI. |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
performance, parallel, measurement, MPI, runtime |
28 | Fábio M. Costa, Lucas Luiz Provensi, Frederico Forzani Vaz |
Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
Runtime metamodels, Structural reflection, Reflective middleware |
28 | Yeliang Zhang, Salim Hariri, Jianwei Xiang, Jim Yeh |
PARM: Physics Aware Runtime Manager for Large-scale Scientific and Engineering Applications. |
HPDC |
2006 |
DBLP DOI BibTeX RDF |
PARM, physics aware runtime manager, large-scale scientific application, large-scale engineering application, autonomic programming framework, partial differential equation problem, multiple computational phases, spatial characteristics, temporal characteristics, numerical algorithm |
28 | Xin Huang 0008, Tilman Wolf |
A methodology for evaluating runtime support in network processors. |
ANCS |
2006 |
DBLP DOI BibTeX RDF |
runtime management, workload partitioning and mapping, network processors |
28 | Yuxing Tang, Kun Deng, Xiaodong Wang 0002, Yong Dou, Xingming Zhou |
RIMP: Runtime Implicit Predication. |
APPT |
2005 |
DBLP DOI BibTeX RDF |
runtime execution, RIMP, predication, trace cache |
28 | Helena Åberg Östlund |
JRA: offline analysis of runtime behaviour. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
runtime behaviour, java, visualization, low overhead |
28 | Gergely Pintér, István Majzik |
Runtime Verification of Statechart Implementations. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
temporal logic, Runtime verification, UML statecharts |
28 | Sumir Chandra, Shweta Sinha, Manish Parashar, Yeliang Zhang, Jingmei Yang, Salim Hariri |
Adaptive Runtime Managementof SAMR Applications. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
Adaptive runtime management, Heterogeneous distributed computing, Performance characterization, Structured adaptive mesh refinement, Dynamic applications |
28 | Matthew C. Merten, Andrew R. Trick, Ronald D. Barnes, Erik M. Nystrom, Christopher N. George, John C. Gyllenhaal, Wen-mei W. Hwu |
An Architectural Framework for Runtime Optimization. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Postlink optimization, hardware profiling, low-overhead profiling, program hot spot, partial function inlining, trace formation and optimization, dynamic optimization, runtime optimization, code layout |
28 | Ahuva Mu'alem Weil, Dror G. Feitelson |
Utilization, Predictability, Workloads, and User Runtime Estimates in Scheduling the IBM SP2 with Backfilling. |
IEEE Trans. Parallel Distributed Syst. |
2001 |
DBLP DOI BibTeX RDF |
runtime estimates, performance metrics, workload modeling, Parallel job scheduling, backfilling |
28 | Min-You Wu |
On Runtime Parallel Scheduling for Processor Load Balancing. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
runtime parallel scheduling, load balancing, hypercubes, trees, meshes, scheduling algorithms, Distributed memory computers |
28 | James S. Larson, Barton C. Massey, Evan Tick |
Super Monaco: Its Portable and Efficient Parallel Runtime System. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
native code, parallelism, logic programming, runtime systems |
28 | David A. Penry, Daniel J. Richins, Tyler S. Harris, David Greenland, Koy D. Rehme |
Exposing parallelism and locality in a runtime parallel optimization framework. |
Conf. Computing Frontiers |
2010 |
DBLP DOI BibTeX RDF |
adopar, parallel optimization |
28 | Xin Huang 0008, Tilman Wolf |
Evaluating Dynamic Task Mapping in Network Processor Runtime Systems. |
IEEE Trans. Parallel Distributed Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Daniel Robinson, Gerald Kotonya |
A Runtime Quality Architecture for Service-Oriented Systems. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
Quality of Service, Service-Oriented Architecture, Monitoring, Negotiation, Software Composition |
28 | Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor |
Runtime software adaptation: framework, approaches, and styles. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
software architecture, software evolution, autonomic computing, architectural styles, software adaptation |
28 | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
Runtime Checking for Separation Logic. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Eric Bodden, Hans Vangheluwe |
Transforming Timeline Specifications into Automata for Runtime Monitoring. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Tomás Bures, Petr Hnetynka, Frantisek Plásil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc |
Runtime Support for Advanced Component Concepts. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Jacqueline Floch, Svein O. Hallsteinsen, Erlend Stav, Frank Eliassen, Ketil Lund, Eli Gjørven |
Using Architecture Models for Runtime Adaptability. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
adaptation support, distributed systems, software architecture, middleware, mobile applications |
28 | Tim Clerckx, Kris Luyten, Karin Coninx |
DynaMo-AID: A Design Process and a Runtime Architecture for Dynamic Model-Based User Interface Development. |
EHCI/DS-VIS |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Raimundo S. Barreto, Sérgio Cavalcante, Paulo Romero Martins Maciel |
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
28 | John A. Zinky, Joseph P. Loyall, Richard Shapiro |
Runtime Performance Modeling and Measurement of Adaptive Distributed Object Applications. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Malay Haldar, Anshuman Nayak, Abhay Kanhere, Pramod G. Joisha, U. Nagaraj Shenoy, Alok N. Choudhary, Prithviraj Banerjee |
Match Virtual Machine: An Adaptive Runtime System to Execute MATLAB in Parallel. |
ICPP |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Martin C. Rinard |
From Runtime Verification to Runtime Intervention and Adaptation. |
RV |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Bilhanan Silverajan, Pasi Kemppainen |
An Event-Based Framework for Converged Service Provisioning. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
object-oriented event-based framework, converged service provisioning, converging telecommunications networks, DOORS framework, distributed object operations framework, protocol development, Network Intelligence Middleware, runtime robustness, runtime scalability, Internet, Internet, protocols, distributed computing, interoperability, object-oriented programming, heterogenous networks, open systems, client-server systems, distributed object management |
26 | Eric Bodden |
Efficient hybrid typestate analysis by determining continuation-equivalent states. |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
typestate analysis, static analysis, runtime monitoring |
26 | Michela Becchi, Surendra Byna, Srihari Cadambi, Srimat T. Chakradhar |
Data-aware scheduling of legacy kernels on heterogeneous platforms with distributed memory. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
accelerators, distributed memory, multi-core processors, runtime, heterogeneous platforms |
26 | Tomasz Rybicki, Jaroslaw Domaszewicz |
Sensor-Actuator Networks with TBox Snippets. |
GPC |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor and actuator networks, resource management and runtime environments, semantic grid and ontologies, ad hoc networks, middlewares, service oriented computing |
26 | Eric Bodden |
The design and implementation of formal monitoring techniques. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program analysis, runtime verification, program monitoring |
26 | Saeed Jalili, Mehdi MirzaAghaei |
RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
Runtime Verification (RV), Real-time and Reactive Program, Event-based Real-Time Logic (ERL), Aspect- Oriented Approach |
26 | Panagiotis E. Hadjidoukas, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou |
Integrating MPI and Nanothreads Programming Model. |
PDP |
2002 |
DBLP DOI BibTeX RDF |
Clusters, MPI, Multithreading, OpenMP, Runtime Systems |
26 | Ron Brightwell, Lee Ann Fisk |
Scalable parallel application launch on Cplant. |
SC |
2001 |
DBLP DOI BibTeX RDF |
runtime system, workstation cluster, massively parallel |
26 | Sumesh Udayakumaran, Angel Dominguez, Rajeev Barua |
Dynamic allocation for scratch-pad memory using compile-time decisions. |
ACM Trans. Embed. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
embedded systems, compiler, Memory allocation, software caching, scratch pad, software-managed cache |
26 | Christoph von Praun, Thomas R. Gross |
Static conflict analysis for multi-threaded object-oriented programs. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
heap shape graph, object use graph, representations for concurrent programs, program analysis, race detection |
26 | Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä |
The LIME Interface Specification Language and Runtime Monitoring Tool. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell |
Property Patterns for Runtime Monitoring of Web Service Conversations. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Hakim Belhaouari, Frédéric Peschanski |
A Lightweight Container Architecture for Runtime Verification. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Christian Engelmann, Stephen L. Scott, David E. Bernholdt, Narasimha Raju Gottumukkala, Chokchai Leangsuksun, Jyothish Varma, Chao Wang 0056, Frank Mueller 0001, Aniruddha G. Shet, P. Sadayappan |
MOLAR: adaptive runtime support for high-end computing operating and runtime systems. |
ACM SIGOPS Oper. Syst. Rev. |
2006 |
DBLP DOI BibTeX RDF |
high-end computing, fault tolerance, reliability, monitoring, availability, group membership, RAS |
24 | Tim Harris 0001, Sasa Tomic, Adrián Cristal, Osman S. Unsal |
Dynamic filtering: multi-purpose architecture support for language runtime systems. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
garbage collection, transactional memory, runtime systems |
24 | Tao Huang 0001, Guoquan Wu, Jun Wei 0001 |
Runtime Monitoring CompositeWeb Services Through Stateful Aspect Extension. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, runtime monitoring, WS-BPEL |
24 | Per Kristian Lehre, Xin Yao 0001 |
Runtime analysis of search heuristics on software engineering problems. |
Frontiers Comput. Sci. China |
2009 |
DBLP DOI BibTeX RDF |
software engineering, evolutionary algorithms, runtime analysis |
24 | Rogier Baert, Carolina Blanch, Paul Coene, Maja D'Hondt, Zhe Ma, Roel Wuyts |
The future is dynamic: adaptive runtime resource management for heterogeneous computer platforms. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
embedded software engineering, runtime resource management, heterogeneous devices |
24 | Marwan Abi-Antoun, Jonathan Aldrich |
Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
conformance checking, runtime architecture |
24 | Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong |
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
UML state machine diagrams, java, runtime verification |
24 | Prashant Dewan, David Durham, Hormuzd Khosravi, Men Long, Gayathri Nagabhushan |
A hypervisor-based system for protecting software runtime memory and persistent storage. |
SpringSim |
2008 |
DBLP DOI BibTeX RDF |
runtime memory, performance evaluation, computer security, virtual machine monitor, hypervisor |
24 | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
Efficient runtime invariant checking: a framework and case study. |
WODA |
2008 |
DBLP DOI BibTeX RDF |
program transformation, incrementalization, runtime verification, alias analysis |
24 | Anas Abou El Kalam, Yves Deswarte |
Critical Infrastructures Security Modeling, Enforcement and Runtime Checking. |
CRITIS |
2008 |
DBLP DOI BibTeX RDF |
Security policies and models, access control enforcement, security of critical infrastructures, runtime model checking |
24 | Gregory F. Diamos, Sudhakar Yalamanchili |
Harmony: an execution model and runtime for heterogeneous many core systems. |
HPDC |
2008 |
DBLP DOI BibTeX RDF |
scheduling, optimization, heterogeneous, gpgpu, performance monitoring, dependency graph, many core, runtime, harmony |
24 | Andrea Zisman, James Dooley, George Spanoudakis |
Proactive Runtime Service Discovery. |
IEEE SCC (1) |
2008 |
DBLP DOI BibTeX RDF |
runtime service discovery, pull and push modes, quality constraints, structural, behavioural, contextual |
24 | Jung-Lok Yu, Jin-Soo Kim 0001, Seung Ryoul Maeng |
A runtime resolution scheme for priority boost conflict in implicit coscheduling. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
Priority boost conflict, Runtime contention, Rescheduling latency, Process reordering, Clusters, Performance comparison, Coscheduling |
24 | Yu-Shiang Lin, Dennis Sylvester |
Runtime leakage power estimation technique for combinational circuits. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
subthreshold leakage analysis, runtime leakage power estimation technique, dynamic estimation methods, static estimation methods, combinational circuits, error estimation, SPICE simulations |
24 | Shahaan Ayyub, David Abramson 0001 |
GridRod: a dynamic runtime scheduler for grid workflows. |
ICS |
2007 |
DBLP DOI BibTeX RDF |
communication specification, runtime scheduling, spatial and temporal concurrency, models of computation |
24 | Jens Jägersküpper |
Probabilistic runtime analysis of (1 +, lambda), ES using isotropic mutations. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
sphere function, evolution strategies, runtime analysis |
24 | Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg |
McRT-STM: a high performance software transactional memory system for a multi-core runtime. |
PPoPP |
2006 |
DBLP DOI BibTeX RDF |
atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment |
24 | Youfeng Wu, Yong-Fong Lee |
Hardware-Software Collaborative Techniques for Runtime Profiling and Phase Transition Detection. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
runtime profiling, phase transition detection, hardware-software collaboration, dynamic optimizations |
24 | Grigore Rosu, Klaus Havelund |
Rewriting-Based Techniques for Runtime Verification. |
Autom. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
verification, rewriting, runtime analysis |
24 | Sumir Chandra, Manish Parashar, Jingmei Yang, Yeliang Zhang, Salim Hariri |
Investigating Autonomic Runtime Management Strategies for SAMR Applications. |
Int. J. Parallel Program. |
2005 |
DBLP DOI BibTeX RDF |
GridARM autonomic runtime management framework, application/system sensitive reactive and proactive partitioning, structured adaptive mesh refinement |
24 | Marcelo d'Amorim, Klaus Havelund |
Event-based runtime verification of java programs. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
event versus state predicates, Java, aspect oriented programming, temporal logic, runtime verification, program instrumentation |
24 | John C. Georgas, André van der Hoek, Richard N. Taylor |
Architectural runtime configuration management in support of dependable self-adaptive software. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
architectural runtime configuration management, dependability, self-adaptive software |
24 | Klaus Havelund, Grigore Rosu |
An Overview of the Runtime Verification Tool Java PathExplorer. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude |
24 | Koushik Sen, Grigore Rosu, Gul Agha |
Runtime safety analysis of multithreaded programs. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
JMPaX, Java, runtime monitoring, safety analysis, LTL, vector clock, multithreaded program, predictive analysis |
24 | Kevin T. Pedretti, Ron Brightwell, Joshua Williams |
Cplant? Runtime System Support for Multi-Processor and Heterogeneous Compute Nodes. |
CLUSTER |
2002 |
DBLP DOI BibTeX RDF |
heterogeneous computing, runtime system, multi-processor, commodity cluster |
24 | Ernesto J. Sallés, James Bret Michael, Michael V. Capps, Don McGregor, Andrzej Kapolka |
Security of runtime extensible virtual environments. |
CVE |
2002 |
DBLP DOI BibTeX RDF |
runtime extensible virtual environment, security, virtual reality, virtual environment, taxonomy, computer security, collaborative environment, information assurance |
24 | Angela C. Sodan, Vicenç Torra |
Fuzzy configuration of matching runtime implementation strategies. |
Soft Comput. |
2001 |
DBLP DOI BibTeX RDF |
Multistage fuzzy inference, Runtime implementation strategies, Parallelization, Configuration |
24 | David H. Lorenz, Predrag Petkovic |
Design-Time Assembly of Runtime Containment Components. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
Design-time, BeanBox, BeanContext, BDK, ContextBox, Runtime Containment and Services Protocol, Glasgow, Java, Components, Assembly, JavaBeans |
24 | Jyh-Herng Chow, Vivek Sarkar |
False Sharing Elimination by Selection of Runtime Scheduling Parameters. |
ICPP |
1997 |
DBLP DOI BibTeX RDF |
runtime scheduling, compilers, shared-memory multiprocessors, parallel loops, false sharing |
24 | Wei Shu, Min-You Wu |
Runtime Incremental Parallel Scheduling (RIPS) on Distributed Memory Computers. |
IEEE Trans. Parallel Distributed Syst. |
1996 |
DBLP DOI BibTeX RDF |
Runtime load balancing, incremental scheduling, irregular and dynamic applications, parallel scheduling, distributed memory computers |
24 | Marco Blumendorf, Grzegorz Lehmann, Sahin Albayrak |
Bridging models and systems at runtime to build adaptive user interfaces. |
EICS |
2010 |
DBLP DOI BibTeX RDF |
model-driven engineering, adaptive user interfaces, executable models, model-based user interface development |
24 | Huynh Phung Huynh, Tulika Mitra |
Runtime Adaptive Extensible Embedded Processors - A Survey. |
SAMOS |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Wouter De Borger, Bert Lagaisse, Wouter Joosen |
A generic and reflective debugging architecture to support runtime visibility and traceability of aspects. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
aop, debugging architecture, traceability, visibility |
24 | Jing Du 0002, Xuejun Yang, Zhiyun Wang |
Effective runtime scalability metric to measure productivity in high performance computing systems. |
Conf. Computing Frontiers |
2008 |
DBLP DOI BibTeX RDF |
high performance computing system, scalability metric, reliability, productivity, energy consumption, computing performance |
24 | Benjamin Doerr, Daniel Johannsen |
Refined runtime analysis of a basic ant colony optimization algorithm. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Hua Wang, Jing Ying |
Toward Runtime Self-adaptation Method in Software-Intensive Systems Based on Hidden Markov Model. |
COMPSAC (2) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Changjiu Xian, Yung-Hsiang Lu, Zhiyuan Li 0001 |
A programming environment with runtime energy characterization for energy-aware applications. |
ISLPED |
2007 |
DBLP DOI BibTeX RDF |
energy characterization, energy-aware application, programming environment |
24 | Seung Woo Son 0001, Mahmut T. Kandemir |
Runtime system support for software-guided disk power management. |
CLUSTER |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Keith D. Cooper, Anshuman Dasgupta |
Tailoring Graph-coloring Register Allocation For Runtime Compilation. |
CGO |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 12890 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|