2284 search results - page 6 / 457 » The new iris data: modular data generators |
TOPLAS
2002
13 years 7 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
IRI
2007
IEEE
14 years 1 months ago
2007
IEEE
The paper presents a study on large-scale automatic extraction of acronyms and associated expansions from Web data and from the user interactions with this data through Web search...
SIGCOMM
2010
ACM
13 years 7 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...
ICDE
2007
IEEE
14 years 1 months ago
2007
IEEE
Recently there is much need of discovering useful knowledge from massive log-data which are generated by Webbased information systems. Such log-data have multiple attributes about...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents BCube, a new network architecture specifically designed for shipping-container based, modular data centers. At the core of the BCube architecture is its serve...