3765 search results - page 712 / 753 » Formal Methods for Systems Engineering Behavior Models |
161
click to vote
PODS
2002
ACM
16 years 2 months ago
2002
ACM
We consider the fundamental operation of applying a conjunction of selection conditions to a set of records. With large main memories available cheaply, systems may choose to keep...
131
click to vote
ICAC
2006
IEEE
15 years 8 months ago
2006
IEEE
— Recent advances have demonstrated the potential benefits of coordinated management of thermal load in data centers, including reduced cooling costs and improved resistance to ...
118
Voted
TAP
2008
Springer
15 years 2 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
150
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
129
Voted
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
It is now widely recognized that user interactions with search results can provide substantial relevance information on the documents displayed in the search results. In this pape...