3256 search results - page 415 / 652 » Applications of Formal Methods to System Design and Verifica... |
177
click to vote
ERSA
2004
15 years 8 months ago
2004
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...
178
click to vote
INFFUS
2010
15 years 5 months ago
2010
- 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...
159
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
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...
143
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...
167
click to vote
FTCS
1996
15 years 7 months ago
1996
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...