Sciweavers

10038 search results - page 1529 / 2008
» Model Checking for Managers
Sort
View
ACSAC
2003
IEEE
16 years 3 days ago
MLS-PCA: A High Assurance Security Architecture for Future Avionics
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
Clark Weissman
ISCA
2003
IEEE
168views Hardware» more  ISCA 2003»
16 years 2 days ago
Temperature-Aware Microarchitecture
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
Kevin Skadron, Mircea R. Stan, Wei Huang, Sivakuma...
DBPL
2003
Springer
144views Database» more  DBPL 2003»
16 years 1 days ago
A General Framework for Estimating XML Query Cardinality
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
Carlo Sartiani
HUMAN
2003
Springer
16 years 20 hour ago
Dynamic Deployment of Software Defined Radio Components for Mobile Wireless Internet Applications
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...
Saehwa Kim, Jamison Masse, Seongsoo Hong
PODS
2010
ACM
207views Database» more  PODS 2010»
15 years 12 months ago
Understanding cardinality estimation using entropy maximization
Cardinality estimation is the problem of estimating the number of tuples returned by a query; it is a fundamentally important task in data management, used in query optimization, ...
Christopher Ré, Dan Suciu
« Prev « First page 1529 / 2008 Last » Next »