419 search results - page 26 / 84 » A Thread of HOL Development |
155
click to vote
JACM
2002
15 years 2 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
122
click to vote
CHI
2001
ACM
16 years 3 months ago
2001
ACM
An appropriately designed interface to persistent, threaded conversations could reinforce socially beneficial behavior by prominently featuring how frequently and to what degree e...
114
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
126
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...
147
click to vote
PPPJ
2006
ACM
15 years 9 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...