3256 search results - page 567 / 652 » Applications of Formal Methods to System Design and Verifica... |
RTSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Many applications in wireless sensor networks require communication performance that is both consistent and high quality. Unfortunately, performance of current network p...
IRI
2008
IEEE
15 years 4 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Because of the great variability of factors to take into account, designing a spoken dialogue system is still a tailoring task. Rapid design and reusability of previous work is ma...
PVM
2005
Springer
15 years 3 months ago
2005
Springer
ct Fault Tolerant MPI (FT-MPI)[6] was designed as a solution to allow applications different methods to handle process failures beyond simple check-point restart schemes. The init...
DAC
2010
ACM
15 years 1 months ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...