5128 search results - page 936 / 1026 » When Abstraction Fails |
165
click to vote
TGC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
171
click to vote
TGC
2007
Springer
16 years 14 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
153
click to vote
VMCAI
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
183
click to vote
WEA
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. A major task in evolutionary biology is to determine the ancestral relationships among the known species, a process generally referred as phylogenetic reconstruction. In ...
154
click to vote
DATE
2006
IEEE
16 years 12 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...