2500 search results - page 425 / 500 » Specifying Behavior in C |
133
click to vote
EMSOFT
2005
Springer
15 years 8 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...
130
click to vote
ESOP
2005
Springer
15 years 8 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...
122
click to vote
ICN
2005
Springer
15 years 8 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...
123
click to vote
OOPSLA
2005
Springer
15 years 8 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...
132
click to vote
CASES
2004
ACM
15 years 8 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...