709 search results - page 82 / 142 » Type Checking in XOBE |
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
86
Voted
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
The necessity of a lab course on computer security arises from the students' need to complement course work by hands-on experience. In order to meet the distance teaching dem...
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
116
click to vote
SIGCOMM
1995
ACM
15 years 5 months ago
1995
ACM
Checksum and CRC algorithms have historically been studied under the assumption that the data fed to the algorithms was uniformly distributed. This paper examines the behavior of ...
117
click to vote
ISQED
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...