1895 search results - page 57 / 379 » Modular Functional Descriptions |
RTA
2010
Springer
13 years 11 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This paper develops a new combinatorial auction protocol called the Groves Mechanism with SubModular Approximation (GM-SMA). This protocol satisfies the following characteristics:...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
In this demo, we present Ripcord, a modular platform for rapidly prototyping scale-out data center networks. Ripcord enables researchers to build and evaluate new network features...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
The basic building block of ever larger data centers has shifted from a rack to a modular container with hundreds or even thousands of servers. Delivering scalable bandwidth among...