The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for runtime with no syntactic query expansion in all metadata.

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