4224 search results - page 66 / 845 » Reasoning about Choice |
FM
2001
Springer
15 years 3 months ago
2001
Springer
CSFW
2000
IEEE
15 years 3 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
109
click to vote
AISC
2000
Springer
15 years 3 months ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
HPCA
1999
IEEE
15 years 3 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
TOOLS
1999
IEEE
15 years 3 months ago
1999
IEEE
