|
|
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 |
50 | Ben L. Titzer, Thomas Würthinger, Doug Simon, Marcelo Cintra |
Improving compiler-runtime separation with XIR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 6th International Conference on Virtual Execution Environments, VEE 2010, Pittsburgh, Pennsylvania, USA, March 17-19, 2010, pp. 39-50, 2010, ACM, 978-1-60558-910-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
lowering, runtime interface, java, software architecture, compilers, virtual machines, register allocation, object model, intermediate representations, JIT |
50 | Gagan Agrawal, Alan Sussman, Joel H. Saltz |
An Integrated Runtime and Compile-Time Approach for Parallelizing Structured and Block Structured Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(7), pp. 747-754, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Compiler support, distributed memory parallel machines, multiblock codes, multigrid codes, High-Performance Fortran, runtime support |
48 | Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates |
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime 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. 75-86, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java-MaC, Aspect Oriented Programming, Runtime Verification, Runtime Monitoring, Software Assurance |
47 | Javier Resano, Juan Antonio Clemente, Carlos González 0002, Daniel Mozos, Francky Catthoor |
Efficiently scheduling runtime reconfigurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(4), pp. 58:1-58:12, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hardware multitasking, runtime/design-time scheduling, FPGAs, Reconfigurable architectures |
47 | Yoonsik Cheon, Gary T. Leavens |
A contextual interpretation of undefinedness for runtime assertion checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, pp. 149-158, 2005, ACM, 1-59593-050-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions |
46 | Christian Colombo 0001, Gordon J. Pace |
Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 211-232, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
46 | Adrian Francalanza, Jorge A. Pérez 0001, César Sánchez 0001 |
Runtime Verification for Decentralised and Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 176-210, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
46 | Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha |
Runtime Failure Prevention and Reaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 103-134, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
46 | Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger |
Introduction to Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 1-33, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
46 | Nauman A. Qureshi, Sotirios Liaskos, Anna Perini |
Reasoning about adaptive requirements for self-adaptive systems at runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011, pp. 16-22, 2011, IEEE Computer Society, 978-1-4577-0942-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
46 | Maurício Serrano, Milene Serrano, Julio César Sampaio do Prado Leite |
Dealing with softgoals at runtime: A fuzzy logic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011, pp. 23-31, 2011, IEEE Computer Society, 978-1-4577-0942-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
46 | Wikan Danar Sunindyo, Martin Melik-Merkumians, Thomas Moser, Stefan Biffl |
Enforcing safety requirements for industrial automation systems at runtime position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011, pp. 37-42, 2011, IEEE Computer Society, 978-1-4577-0942-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
46 | Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams |
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems ![In: Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
46 | Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams |
10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems ![In: Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
46 | Alexander Delater, Barbara Paech |
Using requirements traceability links at runtime - a position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: First International Workshop on Requirements@Run.Time, RE@RunTime 2010, Sydney, NSW, Australia, September 28, 2010, pp. 25-30, 2010, IEEE Computer Society, 978-1-4244-8800-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
46 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
07011 Abstracts Collection -- Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification ![In: Runtime Verification, 02.01. - 06.01.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
46 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
07011 Executive Summary -- Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification ![In: Runtime Verification, 02.01. - 06.01.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
46 | Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee 0001 |
Runtime Verification for Wireless Sensor Network Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification ![In: Runtime Verification, 02.01. - 06.01.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
43 | Walter J. Gutjahr |
Mathematical runtime analysis of ACO algorithms: survey on an emerging issue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Swarm Intell. ![In: Swarm Intell. 1(1), pp. 59-79, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Runtime complexity, Combinatorial optimization, Ant colony optimization, Analysis of algorithms, Runtime analysis |
43 | Hideaki Kimura 0003, Mitsuhisa Sato, Takayuki Imada, Yoshihiko Hotta |
Runtime DVFS control with instrumented Code in power-scalable cluster system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2008 IEEE International Conference on Cluster Computing, 29 September - 1 October 2008, Tsukuba, Japan, pp. 354-359, 2008, IEEE Computer Society, 978-1-4244-2640-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Chris Lattner, Shashank Shekhar, Anand Shukla, Vikram S. Adve |
Addressing Fundamental Bottlenecks in Link-Time and Dynamic Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
Rule Systems for Runtime Verification: A Short Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 1-24, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, temporal logic, Python, AspectJ, Runtime verification, log file analysis, code instrumentation, rule systems |
41 | Usa Sammapun, Insup Lee 0001, Oleg Sokolsky, John Regehr |
Statistical Runtime Checking of Probabilistic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 164-175, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
statistical monitoring, Runtime verification, probabilistic properties |
39 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
Goldilocks: a race and transaction-aware java runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 245-255, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java runtime, software transactions, runtime monitoring, data-race detection |
39 | Ray Odaira, Kei Hiraki |
Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 135, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
runtime statistics, mutex lock, Java, JVM, runtime optimization |
39 | Nelly Bencomo, Jon Whittle 0001, Peter Sawyer, Anthony Finkelstein, Emmanuel Letier |
Requirements reflection: requirements as runtime entities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 199-202, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
requirements, reflection, runtime, self-adaptive systems |
39 | Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup |
Runtime concepts for the C++ standard template library. ![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. 171-177, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
runtime polymorphism, C++, generic programming, standard template library |
39 | Eric Bodden, Patrick Lam 0001, Laurie J. Hendren |
Finding programming errors earlier by evaluating runtime monitors ahead-of-time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 36-47, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
machine learning, static analysis, runtime verification, points-to analysis, static verification |
39 | Seyong Lee, Rudolf Eigenmann |
Adaptive runtime tuning of parallel sparse matrix-vector multiplication on distributed memory systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 22nd Annual International Conference on Supercomputing, ICS 2008, Island of Kos, Greece, June 7-12, 2008, pp. 195-204, 2008, ACM, 978-1-60558-158-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
runtime tuning, sparse matrix, process mapping |
39 | Gang Huang 0001, Hong Mei 0001, Fuqing Yang |
Runtime recovery and manipulation of software architecture of component-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 13(2), pp. 257-281, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Reflection, Runtime system, Component framework, Software architecture recovery |
39 | Yong Yan 0003, Xiaodong Zhang 0001, Zhao Zhang 0010 |
Cacheminer: A Runtime Approach to Exploit Cache Locality on SMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(4), pp. 357-374, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
symmetric multiprocessors (SMP) and task scheduling, simulation, runtime systems, nested loops, Cache locality |
39 | Mohammad Abdullah Al Faruque, Thomas Ebi, Jörg Henkel |
ROAdNoC: runtime observability for an adaptive network on chip architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2008 International Conference on Computer-Aided Design, ICCAD 2008, San Jose, CA, USA, November 10-13, 2008, pp. 543-548, 2008, IEEE Computer Society, 978-1-4244-2820-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu |
Monitoring Events that Carry Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 61-102, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
37 | Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan 0001 |
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 135-175, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
37 | João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar |
Discovering Concurrency Errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Runtime Verification ![In: Lectures on Runtime Verification - Introductory and Advanced Topics, pp. 34-60, 2018, Springer, 978-3-319-75631-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
37 | |
2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![IEEE Computer Society, 978-1-4577-0942-5 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
37 | Emanuel Santos, João Pimentel 0001, Diego Dermeval, Jaelson Castro, Oscar Pastor 0001 |
Using NFR and context to deal with adaptability in business process models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011, pp. 43-50, 2011, IEEE Computer Society, 978-1-4577-0942-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Nelly Bencomo, Emmanuel Letier, Anthony Finkelstein, Jon Whittle 0001, Kristopher Welsh |
Foreword: 2nd Workshop requirements@run.time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011, 2011, IEEE Computer Society, 978-1-4577-0942-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Vítor E. Silva Souza, John Mylopoulos |
From awareness requirements to adaptive systems: A control-theoretic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011, pp. 9-15, 2011, IEEE Computer Society, 978-1-4577-0942-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Amit K. Chopra |
Requirements-driven adaptation: Compliance, context, uncertainty, and systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011, pp. 32-36, 2011, IEEE Computer Society, 978-1-4577-0942-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Paola Inverardi, Marco Mori |
Requirements models at run-time to support consistent system evolutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011, pp. 1-8, 2011, IEEE Computer Society, 978-1-4577-0942-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
37 | Klaus Havelund, Martin Leucker, Martin Sachenbacher, Oleg Sokolsky, Brian C. Williams (eds.) |
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems, 07.11. - 12.11.2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
37 | |
First International Workshop on Requirements@Run.Time, RE@RunTime 2010, Sydney, NSW, Australia, September 28, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![IEEE Computer Society, 978-1-4244-8800-1 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
37 | Nauman A. Qureshi, Anna Perini |
Continuous adaptive requirements engineering: An architecture for self-adaptive service-based applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: First International Workshop on Requirements@Run.Time, RE@RunTime 2010, Sydney, NSW, Australia, September 28, 2010, pp. 17-24, 2010, IEEE Computer Society, 978-1-4244-8800-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Andres J. Ramirez, Betty H. C. Cheng, Philip K. McKinley |
Adaptive monitoring of software requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: First International Workshop on Requirements@Run.Time, RE@RunTime 2010, Sydney, NSW, Australia, September 28, 2010, pp. 41-50, 2010, IEEE Computer Society, 978-1-4244-8800-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Yunsong Jian, Tong Li 0001, Lin Liu 0001, Eric S. K. Yu |
Goal-oriented requirements modelling for running systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: First International Workshop on Requirements@Run.Time, RE@RunTime 2010, Sydney, NSW, Australia, September 28, 2010, pp. 1-8, 2010, IEEE Computer Society, 978-1-4244-8800-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Nauman A. Qureshi, Anna Perini, Neil A. Ernst, John Mylopoulos |
Towards a continuous requirements engineering framework for self-adaptive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: First International Workshop on Requirements@Run.Time, RE@RunTime 2010, Sydney, NSW, Australia, September 28, 2010, pp. 9-16, 2010, IEEE Computer Society, 978-1-4244-8800-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Tom Hill, Sam Supakkul, Lawrence Chung |
Run-time monitoring of system performance: A goal-oriented and system architecture simulation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE@RunTime ![In: First International Workshop on Requirements@Run.Time, RE@RunTime 2010, Sydney, NSW, Australia, September 28, 2010, pp. 31-40, 2010, IEEE Computer Society, 978-1-4244-8800-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
37 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (eds.) |
Runtime Verification, 02.01. - 06.01.2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
37 | Stavros Tripakis |
Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Runtime Verification ![In: Runtime Verification, 02.01. - 06.01.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
36 | Feng Chen 0006, Traian-Florin Serbanuta, Grigore Rosu |
jPredictor: a predictive runtime analysis tool for java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 221-230, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
predictive runtime analysis, sliced causality, runtime verification |
36 | Bernd Finkbeiner, Sriram Sankaranarayanan 0001, Henny Sipma |
Collecting Statistics Over Runtime Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 27(3), pp. 253-274, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program profiling, temporal logic, specification languages, runtime verification, runtime monitoring |
36 | Christian Weber |
Creation of a Family of Compilers and Runtime Environments by Combining Reusable Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings, pp. 110-124, 1992, Springer, 3-540-55984-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
compiler family, runtime system design, compiler design, reusable software, runtime environment |
35 | Simone Pellegrini, Thomas Fahringer, Herbert Jordan, Hans Moritsch |
Automatic tuning of MPI runtime parameter settings by using machine learning. ![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. 115-116, 2010, ACM, 978-1-4503-0044-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
mpi runtime parameters, machine learning, tuning |
35 | Marwan Abi-Antoun, Jonathan Aldrich |
Static extraction of sound hierarchical runtime object graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009, pp. 51-64, 2009, ACM, 978-1-60558-420-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
architectural extraction, ownership domains, object graphs, runtime architecture |
35 | Qiong Zou, Xiao-Feng Li, Long-Bing Zhang |
Runtime Engine for Dynamic Profile Guided Stride Prefetching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 23(4), pp. 633-643, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stride prefetching, runtime system, dynamic profiling |
35 | Feng Chen 0006, Grigore Rosu |
Mop: an efficient and generic runtime verification framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 569-588, 2007, ACM, 978-1-59593-786-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
monitoring-oriented programming, aspect-oriented programming, runtime verification |
35 | Benjamin Doerr, Frank Neumann 0001, Dirk Sudholt, Carsten Witt |
On the runtime analysis of the 1-ANT ACO algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 33-40, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ant colony optimization, runtime analysis |
35 | Fen Xie, Margaret Martonosi, Sharad Malik |
Efficient behavior-driven runtime dynamic voltage scaling policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2005, Jersey City, NJ, USA, September 19-21, 2005, pp. 105-110, 2005, ACM, 1-59593-161-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
runtime dynamic voltage scaling, low power |
35 | Jens Jägersküpper, Carsten Witt |
Rigorous runtime analysis of a (µ+1)ES for the sphere function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 849-856, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
sphere function, evolution strategies, runtime analysis |
35 | Nelly Delgado, Ann Q. Gates, Steve Roach |
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(12), pp. 859-872, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Assertion checkers, specification, survey, specification language, runtime monitors, software/program verification |
35 | Martin Lippert |
AJEER: an aspectJ-enabled eclipse runtime. ![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. 180-181, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cross-plugin pointcuts, eclipse rich client platform, plugin runtime, aspect-oriented programming, modularization, eclipse, aspectJ |
35 | Eric Bodden |
A lightweight LTL runtime verification tool for java. ![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. 306-307, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
joinpoints, linear-time temporal logic (LTL), metadata, aspectJ, concurrent systems, runtime verification |
35 | Martin Lippert |
AJEER: an aspectJ-enabled eclipse runtime. ![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. 23-24, 2004, ACM, 1-58113-833-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cross-plugin pointcuts, eclipse rich client platform, plugin runtime, aspect-oriented programming, modularization, eclipse, aspectJ |
35 | Stephen S. Yau, Dazhi Huang, Haishan Gong, Siddharth Seth |
Development and Runtime Support for Situation-Aware Application Software in Ubiquitous Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 452-457, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Situation-aware application software, Situation-Aware Interface Definition Language (SA-IDL), RCSM, development support, ubiquitous computing, runtime support |
35 | Martin Lippert |
An AspectJ-enabled eclipse core runtime platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 322-323, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
cross-plugin pointcuts, plugin runtime infrastructure, aspect-oriented programming, modularization, eclipse, AspectJ |
34 | Guy Edjlali, Gagan Agrawal, Alan Sussman, Joel H. Saltz |
Data parallel programming in an adaptive environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 827-832, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
adaptive environment, loop bounds, runtime library, multiblock Navier-Stokes solver, parallel programming, message passing, message passing, programming environments, network of workstations, PVM, communication patterns, runtime support, data redistribution, data parallel programming, performance results |
34 | Jens Jägersküpper |
Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 1068-1079, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Continuous Search Space, Expected Runtime, Mutation Adaptation, Evolutionary Algorithms, Black-Box Optimization |
34 | Michael Factor, Assaf Schuster, Konstantin Shagin |
Execution of monolithic Java programs on large non-dedicated collections of commodity workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Java Grande ![In: Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, Seattle, Washington, USA, November 3-5, 2002, pp. 227, 2002, ACM, 1-58113-599-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
high-level programming paradigm, non-dedicated environment, utilization of idle resources, fault tolerance, distributed shared memory |
33 | Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
Runtime Verification of Safety-Progress Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 40-59, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini |
Runtime Verification of Interactions: From MSCs to Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 63-74, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Eric Bodden, Laurie J. Hendren, Patrick Lam 0001, Ondrej Lhoták, Nomair A. Naeem |
Collaborative Runtime Verification with Tracematches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 22-37, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Alberto González-Sanchez 0002, Éric Piel, Hans-Gerhard Groß |
RiTMO: A Method for Runtime Testability Measurement and Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 377-382, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
runtime testability, cig, runtime testing, optimization |
32 | Chris Lewis 0002, Jim Whitehead |
Runtime repair of software faults using event-driven monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 275-280, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
message broker, runtime software-fault monitoring, temporal invariants, specifications, video games, rule engine, event-driven systems |
32 | Frank Neumann 0001, Carsten Witt |
Runtime Analysis of a Simple Ant Colony Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 54(2), pp. 243-255, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ant colony optimization, Runtime analysis, Randomized search heuristics |
32 | Florian Irmert, Frank Lauterwald, Christoph P. Neumann, Michael Daum 0001, Richard Lenz, Klaus Meyer-Wegener |
Semantics of a runtime adaptable transaction manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 88-96, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SQL phenomena, adaptation, transaction management, runtime |
32 | Chantal Taconet, Zakia Kazi-Aoul, Mehdi Zaier, Denis Conan |
CA3M: A Runtime Model and a Middleware for Dynamic Context Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 513-530, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model at runtime, context-awareness, meta-modelling, ubiquity |
32 | Saurabh Sinha, Hina Shah, Carsten Görg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold |
Fault localization and repair for Java runtime exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 153-164, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
null dereference, runtime exceptions, static analysis, fault localization |
32 | Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips |
An Incremental Algorithm for High-Performance Runtime Model Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 357-371, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Adaptive groupware, incremental model transformation, runtime models |
32 | Christian Hütter 0001, Thomas Moschny |
Runtime Locality Optimizations of Distributed Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France, pp. 149-156, 2008, IEEE Computer Society, 978-0-7695-3089-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic locality optimization, distributed Java applications, runtime performance measurement, cluster |
32 | Ildefonso Montero, Joaquín Peña, Antonio Ruiz Cortés |
Representing Runtime Variability in Business-Driven Development Systems. ![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. 241, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Runtime Variability, Modeling business processes, BDD |
32 | Zhenchun Huang, Guoqing Li, Bin Du, Yi Zeng, Lei Gu |
SIGRE - An Autonomic Spatial Information Grid Runtime Environment for Geo-computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 7th International Symposium, APPT 2007, Guangzhou, China, November 22-23, 2007, Proceedings, pp. 322-329, 2007, Springer, 978-3-540-76836-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
geo-computation, spatial information grid, runtime environment |
32 | Long Fei, Samuel P. Midkiff |
Artemis: practical runtime monitoring of applications for execution anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 84-95, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
context invariant, dynamic context, pointer-type table, selective monitoring, value invariant, debugging, runtime monitoring |
32 | Tayfun Elmas, Serdar Tasiran, Shaz Qadeer |
VYRD: verifYing concurrent programs by runtime refinement-violation detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pp. 27-37, 2005, ACM, 1-59593-056-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
refinement, runtime verification, concurrent data structures |
32 | Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee 0001, Christos Tsarouchis |
Is runtime verification applicable to cheat detection? ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 3rd Workshop on Network and System Support for Games, NETGAMES 2004, Portland, Oregon, USA, August 30, 2004, pp. 134-138, 2004, ACM, 1-58113-942-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
runtime verification, multiplayer game, cheat detection |
32 | Gang Huang 0001, Hong Mei 0001, Qianxiang Wang |
Towards software architecture at runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 28(2), pp. 8, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
runtime software architecture, software architecture, software maintenance, reflection |
32 | Qianxiang Wang, Gang Huang 0001, Junrong Shen, Hong Mei 0001, Fuqing Yang |
Runtime Software Architecture Based Software Online Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 230-235, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Runtime Software Architecture, Online Evolution |
32 | Cheng-Zhong Xu 0001, Vipin Chaudhary |
Time Stamp Algorithms for Runtime Parallelization of DOACROSS Loops with Dynamic Dependences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(5), pp. 433-450, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
inspector-executor, dynamic dependence, Compiler, parallelizing compiler, runtime support, doacross loop |
32 | David Mennie, Bernard Pagurek |
A Runtime Composite Service Creation and Deployment Infrastructure and its Applications in Internet Security, E-Commerce, and Software Provisioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 371-376, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Runtime service creation, software composition, dynamic service composition |
32 | Dimitrios S. Nikolopoulos, Theodore S. Papatheodorou, Constantine D. Polychronopoulos, Jesús Labarta, Eduard Ayguadé |
UPMLIB: A Runtime System for Tuning the Memory Performance of OpenMP Programs on Scalable Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCR ![In: Languages, Compilers, and Run-Time Systems for Scalable Computers, 5th International Workshop, LCR 2000, Rochester, NY, USA, May 25-27, 2000, Selected Papers, pp. 85-99, 2000, Springer, 3-540-41185-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
operating systems, memory management, OpenMP, runtime systems, scalable shared-memory multiprocessors |
32 | Du Li, Richard R. Muntz |
Runtime dynamics in collaborative systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of GROUP'99, International Conference on Supporting Group Work, November 14-17, 1999, Embassy Suites Hotel, Phoenix, Arizona, USA, pp. 336-345, 1999, ACM, 1-58113-065-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
runtime dynamics, collaboration, CSCW, distributed computing, dynamic reconfiguration, collaborative systems |
32 | H. C. Wang, C. K. Yuen, M. D. Feng |
Balinda C++: Runtime Support for Concurrent Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 36-41, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Concurrent object oriented programming(COOP), Balinda C++, Network of Workstations(NoW), Runtime System, Tuplespace |
32 | Jun Zhu, Changguo Guo, Quan Yin, Jianlu Bo, Quanyuan Wu |
A Runtime-Monitoring-Based Dependable Software Construction Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1093-1100, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider |
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 135-149, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Masatomo Hashimoto |
A Method of Safety Analysis for Runtime Code Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, pp. 60-74, 2006, Springer, 978-3-540-77504-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu |
Towards Remote Policy Enforcement for Runtime Protection of Mobile Code Using Trusted Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings, pp. 179-195, 2006, Springer, 3-540-47699-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Ackbar Joolia, Thaís Vasconcelos Batista, Geoff Coulson, Antônio Tadeu A. Gomes |
Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, USA, pp. 131-140, 2005, IEEE Computer Society, 0-7695-2548-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Antony Edwards, Trent Jaeger, Xiaolan Zhang 0001 |
Runtime verification of authorization hook placement for the linux security modules framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 9th ACM Conference on Computer and Communications Security, CCS 2002, Washington, DC, USA, November 18-22, 2002, pp. 225-234, 2002, ACM, 1-58113-612-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Eric Bodden, Feng Chen 0006, Grigore Rosu |
Dependent advice: a general approach to optimizing history-based 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. 3-14, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
compilation, domain-specific languages, runtime verification, static program analysis |
30 | Wei-Tek Tsai, Xinyu Zhou, Xiao Wei 0001 |
A policy enforcement framework for verification and control of service collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 6(1), pp. 83-107, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Service-Oriented Architecture, Runtime verification, Policy enforcement, Dynamic collaboration |
Displaying result #1 - #100 of 12890 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|