2500 search results - page 425 / 500 » Specifying Behavior in C |
174
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
161
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
150
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
Spatially coordinated packet sampling can be implemented by using a deterministic function of packet content to determine the selection decision for a given packet. In this way, a...
157
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
170
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents and reports on a VLIW code compression technique based on vector Hamming distances [19]. It investigates the appropriate selection of dictionary vectors such t...