1602 search results - page 260 / 321 » Database Architectures for New Hardware |
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
ST-TCP (Server fault-Tolerant TCP) is an extension of TCP to tolerate TCP server failures. Server fault tolerance is provided by using an active-backup server that keeps track of ...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
We consider a heterogeneous computing environment that consists of a collection of machines and task types. The machines vary in capabilities and different task types are better su...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Software is increasingly deployed in vehicles as demand for new functionality increases and cheaper and more powerful hardware becomes available. Likewise, emerging wireless commu...
IPSN
2005
Springer
14 years 2 months ago
2005
Springer
— This paper describes the XYZ, a new open-source sensing platform specifically designed to support our experimental research in mobile sensor networks. The XYZ node is designed...
FMCAD
1998
Springer
14 years 29 days ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...