Sciweavers

3256 search results - page 415 / 652
» Applications of Formal Methods to System Design and Verifica...
Sort
View
ERSA
2004
86views Hardware» more  ERSA 2004»
15 years 8 months ago
Incremental Timing Budget Management in Programmable Systems
Delay budget is an excess delay that each component of a design can tolerate under a given timing constraint. Delay budgeting has been widely exploited to improve the design quali...
Elaheh Bozorgzadeh, Soheil Ghiasi, Atsushi Takahas...
INFFUS
2010
121views more  INFFUS 2010»
15 years 5 months ago
The statistical mechanics of belief sharing in multi-agent systems
- Many exciting, emerging applications require that a group of agents share a coherent view of the world given spatial distribution, incomplete and uncertain sensors, and communica...
Robin Glinton, Katia P. Sycara, David Scerri, Paul...
CHI
2005
ACM
16 years 7 months ago
MultiView: spatially faithful group video conferencing
MultiView is a new video conferencing system that supports collaboration between remote groups of people. MultiView accomplishes this by being spatially faithful. As a result, Mul...
David T. Nguyen, John F. Canny
KDD
2009
ACM
172views Data Mining» more  KDD 2009»
15 years 11 months ago
Learning dynamic temporal graphs for oil-production equipment monitoring system
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...
Yan Liu, Jayant R. Kalagnanam, Oivind Johnsen
FTCS
1996
110views more  FTCS 1996»
15 years 7 months ago
Experimental Assessment of Parallel Systems
In the research reported in this paper, transient faults were injected in the nodes and in the communication subsystem (by using software fault injection) of a commercial parallel...
João Gabriel Silva, Joao Carreira, Henrique...