Sciweavers

758 search results - page 133 / 152
» Pattern-Constrained Test Case Generation
Sort
View
ATAL
2007
Springer
14 years 4 months 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
14 years 4 months 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
14 years 3 months 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»
14 years 3 months 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
HICSS
2005
IEEE
136views Biometrics» more  HICSS 2005»
14 years 3 months ago
Cournot Equilibrium in Price-Capped Two-Settlement Electricity Markets
Abstract— We compare two alternative mechanisms for capping prices in two-settlement electricity markets. With sufficient lead time and competitive entry opportunities, forward ...
Jian Yao, Bert Willems, Shmuel S. Oren, Ilan Adler