8780 search results - page 179 / 1756 » On the Feasibility of Consistent Computations |
212
click to vote
SIGCOMM
1998
ACM
15 years 11 months ago
1998
ACM
Multicast routing enables e cient data distribution to multiple recipients. However, existing work has concentrated on extending single-domain techniques to wide-area networks, ra...
196
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
217
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
Active networks allow computations to be performed innetwork at routers as messages pass through them. Active networks offer unique opportunities to optimize networkcentric applic...
190
click to vote
TEI
2010
ACM
16 years 2 months ago
2010
ACM
We describe a practical vision of ubiquitous computing with tangible interfaces, that orbits around an individual and is mediated by his or her personal consumer electronic device...
195
Voted
ECCC
2008
15 years 7 months ago
2008
While closed timelike curves (CTCs) are not known to exist, studying their consequences has led to nontrivial insights in general relativity, quantum information, and other areas....