226 search results - page 7 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
75
Voted
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
FSEN
2009
Springer
15 years 1 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— We leverage the buffering capabilities of end-systems to achieve scalable, asynchronous delivery of streams in a peer-to-peer environment. Unlike existing cache-and-relay schem...
109
click to vote
ADBIS
1995
Springer
15 years 1 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
66
Voted
DAC
1998
ACM
15 years 1 months ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...