3742 search results - page 519 / 749 » On the Use of Formal Techniques for Validation |
182
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We describe the design and implementation of a new data layout scheme, called multi-dimensional clustering, in DB2 Universal Database Version 8. Many applications, e.g., OLAP and ...
170
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Usage-awaRe Interactive Content Adaptation (URICA) is an automatic technique that adapts content for display on mobile devices based on usage semantics. URICA allows users who are...
193
click to vote
DATE
2009
IEEE
2009
IEEE
Analyzing the impact of process variations on parametric measurements: Novel models and applications
16 years 1 months ago
Abstract—In this paper we propose a novel statistical framework to model the impact of process variations on semiconductor circuits through the use of process sensitive test stru...
138
click to vote
IEEEIAS
2009
IEEE
16 years 1 months ago
2009
IEEE
: A common technique hacker use is to route their traffic through a chain of stepping-stone hosts. It is generally agreed that there is no valid reason to use a long connection cha...
171
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We analyze how node mobility can influence the convergence time of averaging gossip algorithms on networks. Our main result is that even a small number of fully mobile nodes ca...