Sciweavers

4604 search results - page 504 / 921
» Analysis of Negotiation Dynamics
Sort
View
HPCA
2006
IEEE
16 years 7 months ago
Understanding the performance-temperature interactions in disk I/O of server workloads
This paper describes the first infrastructure for integrated studies of the performance and thermal behavior of storage systems. Using microbenchmarks running on this infrastructu...
Youngjae Kim, Sudhanva Gurumurthi, Anand Sivasubra...
POPL
2006
ACM
16 years 7 months ago
Hybrid type checking
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
Cormac Flanagan
ICDE
2010
IEEE
472views Database» more  ICDE 2010»
16 years 6 months ago
TransDec: A Spatiotemporal Query Processing Framework for Transportation Systems
Abstract-- In this paper, we present TransDec, an end-toend data-driven system which enables spatiotemporal queries in transportation systems with dynamic, real-time and historical...
Ugur Demiryurek, Farnoush Banaei Kashani, Cyrus Sh...
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
16 years 3 months ago
Interface specification for reconfigurable components
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
Satnam Singh
HICSS
2010
IEEE
153views Biometrics» more  HICSS 2010»
16 years 1 months ago
Securing E-Government Assets through Automating Deployment of Honeynets for IDS Support
One of the challenges facing system e-government security professionals is the laborious task of sifting through numerous log files in an attempt to identify malicious traffic and...
Christopher Hecker, Brian Hay