Sciweavers

20655 search results - page 106 / 4131
» Exploring Software Systems
Sort
View
150
Voted
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 8 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
137
Voted
SAMOS
2009
Springer
15 years 9 months ago
Visualization of Computer Architecture Simulation Data for System-Level Design Space Exploration
System-level computer architecture simulations create large volumes of simulation data to explore alternative architectural solutions. Interpreting and drawing conclusions from thi...
Toktam Taghavi, Mark Thompson, Andy D. Pimentel
91
Voted
IJCAI
1997
15 years 4 months ago
Exploration and Adaptation in Multiagent Systems: A Model-based Approach
Agents that operate in a multi-agent system can benefit significantly from adapting to other agents while interacting with them. This work presents a general architecture for a ...
David Carmel, Shaul Markovitch
135
Voted
PVLDB
2010
184views more  PVLDB 2010»
15 years 1 months ago
TimeTrails: A System for Exploring Spatio-Temporal Information in Documents
Spatial and temporal data have become ubiquitous in many application domains such as the Geosciences or life sciences. Sophisticated database management systems are employed to ma...
Jannik Strötgen, Michael Gertz
105
Voted
DAC
2000
ACM
16 years 3 months ago
Efficient methods for embedded system design space exploration
Harry Hsieh, Felice Balarin, Luciano Lavagno, Albe...