|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers, pp. 238-251, 2008, Springer, 978-3-540-70568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESS ![In: Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, SESS 2008, Leipzig, Germany, May 17-18, 2008, pp. 33-40, 2008, ACM, 978-1-60558-042-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(2), pp. 112-125, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 132-151, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | John M. Rushby |
Runtime Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers, pp. 21-35, 2008, Springer, 978-3-540-89246-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Cindy Eisner |
PSL for Runtime Verification: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 1-8, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard |
Runtime Checking for Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 202-213, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Res. Dev. ![In: Comput. Sci. Res. Dev. 23(3-4), pp. 125-132, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCS HCI ![In: Proceedings of the 2009 British Computer Society Conference on Human-Computer Interaction, BCS-HCI 2009, Cambridge, United Kingdom, 1-5 September 2009, pp. 463-470, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings, pp. 196-206, 2009, Springer, 978-3-642-03769-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 321-340, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 2118-2125, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 8th International Conference, GPCE 2009, Denver, Colorado, USA, October 4-5, 2009, Proceedings, pp. 85-94, 2009, ACM, 978-1-60558-494-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 131-140, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(6), pp. 1-6, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008, pp. 22-28, 2008, ACM, 978-1-60558-382-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 743-744, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 911-912, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), February, 25-29, 2008, Madrid, Spain, Proceedings, pp. 21-30, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 499-501, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008, pp. 135-142, 2008, ACM, 978-1-60558-130-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 143-152, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(6), pp. 789-803, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings, pp. 313-321, 2006, Springer, 3-540-39110-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 232-241, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 15th IEEE International Symposium on High Performance Distributed Computing, HPDC-15, Paris, France, June 19-23, 2006, pp. 363-364, 2006, IEEE, 1-4244-0307-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANCS ![In: Proceedings of the 2006 ACM/IEEE Symposium on Architecture for Networking and Communications Systems, ANCS 2006, San Jose, California, USA, December 3-5, 2006, pp. 113-122, 2006, ACM, 1-59593-580-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings, pp. 71-80, 2005, Springer, 3-540-29639-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
runtime execution, RIMP, predication, trace cache |
28 | Helena Åberg Östlund |
JRA: offline analysis of runtime behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 16-17, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
runtime behaviour, java, visualization, low overhead |
28 | Gergely Pintér, István Majzik |
Runtime Verification of Statechart Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], pp. 148-172, 2004, Springer, 3-540-28968-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2002, 9th International Conference, Bangalore, India, December 18-21, 2002, Proceedings, pp. 564-574, 2002, Springer, 3-540-00303-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(6), pp. 567-589, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(6), pp. 529-543, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(2), pp. 173-186, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 527-538, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 7th Conference on Computing Frontiers, 2010, Bertinoro, Italy, May 17-19, 2010, pp. 117-118, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
adopar, parallel optimization |
28 | Xin Huang 0008, Tilman Wolf |
Evaluating Dynamic Task Mapping in Network Processor Runtime Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(8), pp. 1086-1098, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Daniel Robinson, Gerald Kotonya |
A Runtime Quality Architecture for Service-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2008, 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings, pp. 468-482, 2008, 978-3-540-89647-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 899-910, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 203-217, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Eric Bodden, Hans Vangheluwe |
Transforming Timeline Specifications into Automata for Runtime Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 249-264, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 337-345, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 23(2), pp. 62-70, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EHCI/DS-VIS ![In: Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers, pp. 77-95, 2004, Springer, 3-540-26097-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan, pp. 846-851, 2004, IEEE Computer Society, 0-7695-2087-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | John A. Zinky, Joseph P. Loyall, Richard Shapiro |
Runtime Performance Modeling and Measurement of Adaptive Distributed Object Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings, pp. 755-772, 2002, Springer, 3-540-00106-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2000 International Conference on Parallel Processing, ICPP 2000, Toronto, Canada, August 21-24, 2000, pp. 145-152, 2000, IEEE Computer Society, 0-7695-0768-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Martin C. Rinard |
From Runtime Verification to Runtime Intervention and Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, pp. 276, 2012, Springer, 978-3-642-35631-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Bilhanan Silverajan, Pasi Kemppainen |
An Event-Based Framework for Converged Service Provisioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (37) ![In: TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, November 2000, pp. 24-35, 2000, IEEE Computer Society, 0-7695-0918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 5-14, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15, 2010, pp. 82-91, 2010, ACM, 978-1-4503-0079-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings, pp. 317-327, 2009, Springer, 978-3-642-01670-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 939-940, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 550-557, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain, pp. 309-, 2002, IEEE Computer Society, 0-7695-1444-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Clusters, MPI, Multithreading, OpenMP, Runtime Systems |
26 | Ron Brightwell, Lee Ann Fisk |
Scalable parallel application launch on Cplant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing, Denver, CO, USA, November 10-16, 2001, CD-ROM, pp. 40, 2001, ACM, 1-58113-293-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 5(2), pp. 472-511, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 115-128, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 93-100, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers, pp. 137-157, 2008, Springer, 978-3-540-89246-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Hakim Belhaouari, Frédéric Peschanski |
A Lightweight Container Architecture for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers, pp. 173-187, 2008, Springer, 978-3-540-89246-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(2), pp. 63-72, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 39-52, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(2), pp. 294-308, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 3(1), pp. 64-72, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 733-734, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 741-742, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 384-389, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 828-835, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008, pp. 43-49, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 95-108, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 17th International Symposium on High-Performance Distributed Computing (HPDC-17 2008), 23-27 June 2008, Boston, MA, USA, pp. 197-200, 2008, ACM, 978-1-59593-997-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC (1) ![In: 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 237-245, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 40(1), pp. 1-28, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 660-665, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 21th Annual International Conference on Supercomputing, ICS 2007, Seattle, Washington, USA, June 17-21, 2007, pp. 43-52, 2007, ACM, 978-1-59593-768-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2006, Proceedings, Seattle, Washington, USA, July 8-12, 2006, pp. 461-468, 2006, ACM, 1-59593-186-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 187-197, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(5), pp. 665-675, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 12(2), pp. 151-197, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 33(2-3), pp. 247-259, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-6, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(2), pp. 189-215, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 337-346, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2002 IEEE International Conference on Cluster Computing (CLUSTER 2002), 23-26 September 2002, Chicago, IL, USA, pp. 207-214, 2002, IEEE Computer Society, 0-7695-1745-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVE ![In: Proceedings of the 4th International Conference on Collaborative Virtual Environments 2002, Bonn, Germany, September 30 - October 02, 2002, pp. 97-104, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(1), pp. 77-92, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 195-204, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 1997 International Conference on Parallel Processing (ICPP '97), August 11-15, 1997, Bloomington, IL, USA, Proceedings, pp. 396-403, 1997, IEEE Computer Society, 0-8186-8108-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(6), pp. 637-649, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 9-18, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation, 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings, pp. 215-225, 2009, Springer, 978-3-642-03137-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 173-184, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia, Italy, May 5-7, 2008, pp. 107-108, 2008, ACM, 978-1-60558-077-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 501-507, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Hua Wang, Jing Ying |
Toward Runtime Self-adaptation Method in Software-Intensive Systems Based on Hidden Markov Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 2, pp. 601-606, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2007 International Symposium on Low Power Electronics and Design, 2007, Portland, OR, USA, August 27-29, 2007, pp. 141-146, 2007, ACM, 978-1-59593-709-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2007 IEEE International Conference on Cluster Computing, 17-20 September 2007, Austin, Texas, USA, pp. 139-148, 2007, IEEE Computer Society, 978-1-4244-1387-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Keith D. Cooper, Anshuman Dasgupta |
Tailoring Graph-coloring Register Allocation For Runtime Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 26-29 March 2006, New York, New York, USA, pp. 39-49, 2006, IEEE Computer Society, 0-7695-2499-0. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|