3228 search results - page 551 / 646 » Computationally Sound Proofs |
138
click to vote
ICPADS
2005
IEEE
15 years 10 months ago
2005
IEEE
We show that universal routing can be achieved with low overhead in distributed networks. The validity of our results rests on a new network called the fat-stack. We show that fro...
151
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
126
click to vote
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
129
click to vote
APN
2005
Springer
15 years 10 months ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
124
Voted
HIP
2005
Springer
15 years 10 months ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...