9015 search results - page 1366 / 1803 » Using Structural Computing to Support Information Integratio... |
295
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
198
Voted
CLOUD
2010
ACM
15 years 12 months ago
2010
ACM
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...
183
Voted
TEI
2010
ACM
16 years 1 months ago
2010
ACM
Advances in the creation of computational materials are transforming our thinking about relations between the physical and digital. In this paper we characterize this transformati...
185
Voted
PLDI
2004
ACM
16 years 8 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
226
Voted
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents three contributions to research on middleware load balancing. First, it describes the design of Cygnus, which is an extensible open-source middleware framework...