1222 search results - page 97 / 245 » Verifying a File System Implementation |
103
Voted
MICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
102
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
111
Voted
ISTA
2003
15 years 4 months ago
2003
: Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced b...
97
Voted
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- This paper describes the implementation of an areaefficient and protected user memory-mapped network interface, the pbuf (Parcel Buffer), for the Data IntensiVe Architect...
135
Voted
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...