Sciweavers

2026 search results - page 341 / 406
» Tools for Test Case Generation
Sort
View
144
Voted
IPPS
2007
IEEE
16 years 20 days ago
Decomposing Partial Order Execution Graphs to Improve Message Race Detection
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
Basile Schaeli, Sebastian Gerlach, Roger D. Hersch
ATAL
2007
Springer
16 years 16 days ago
Dynamic movement and positioning of embodied agents in multiparty conversations
For embodied agents to engage in realistic multiparty conversation, they must stand in appropriate places with respect to other agents and the environment. When these factors chan...
Dusan Jan, David R. Traum
BIRTHDAY
2007
Springer
16 years 16 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
ICNS
2006
IEEE
16 years 12 days ago
Grid Infrastructure Deployment using SmartFrog Technology
The Globus Toolkit is properly configured open source software for setting up grid nodes across multiple heterogeneous platforms. The process of grid enabling a machine is a long ...
Ritu Sabharwal
MICRO
2006
IEEE
115views Hardware» more  MICRO 2006»
16 years 11 days ago
Mitigating the Impact of Process Variations on Processor Register Files and Execution Units
Design variability due to die-to-die and within-die process variations has the potential to significantly reduce the maximum operating frequency and the effective yield of high-p...
Xiaoyao Liang, David Brooks