164 search results - page 1 / 33 » Formal Device and Programming Model for a Serial Interface |
CADE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
UIST
2003
ACM
13 years 9 months ago
2003
ACM
In this paper we propose a new model for a class of rapid serial visual presentation (RSVP) interfaces [16] in the context of consumer video devices. The basic spatial layout “e...
JAVA
1999
Springer
13 years 8 months ago
1999
Springer
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
SIGADA
1999
Springer
13 years 8 months ago
1999
Springer
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
ITC
1996
IEEE
13 years 8 months ago
1996
IEEE
This paper proposes a Layered Model for boundaryscan testing to help identify opportunities for standardization. Serial Vector Format [1] and an accompanying Application Programmi...