Sciweavers

265 search results - page 22 / 53
» Overview of the MPEG-CDVS Standard
Sort
View
DATE
2005
IEEE
164views Hardware» more  DATE 2005»
14 years 4 months ago
Automated Synthesis of Assertion Monitors using Visual Specifications
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
Ambar A. Gadkari, S. Ramesh
EUROMICRO
2005
IEEE
14 years 4 months ago
RSerPool - Providing Highly Available Services using Unreliable Servers
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
Thomas Dreibholz, Erwin P. Rathgeb
MSS
2005
IEEE
133views Hardware» more  MSS 2005»
14 years 4 months ago
Exporting Storage Systems in a Scalable Manner with pNFS
To meet enterprise and grand challenge-scale performance and interoperability requirements, a group of engineers—initially ad-hoc but now integrated into the IETF—is designing...
Dean Hildebrand, Peter Honeyman
SAINT
2005
IEEE
14 years 4 months ago
IPv6 Campus Transition Experiences
IPv6 is now a mature standard, with the core protocols defined by the Internet Engineering Task Force (IETF). Over the past two years a number of national research networks and a...
Tim Chown
SAC
2004
ACM
14 years 4 months ago
The effectiveness of combining information retrieval strategies for European languages
Building an effective Information Retrieval system requires various design choices, ranging from the weighting scheme to the type of morphological normalization. The combination ...
Jaap Kamps, Maarten de Rijke