10870 search results - page 1881 / 2174 » Model Checking Programs |
172
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
190
click to vote
GRAPHITE
2004
ACM
16 years 3 days ago
2004
ACM
Growing demand for ubiquitous and pervasive computing has triggered a sharp rise in handheld device usage. At the same time, dynamic multimedia data has become accepted as core ma...
155
click to vote
ISLPED
2004
ACM
16 years 3 days ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
188
click to vote
AMAI
2004
Springer
16 years 3 days ago
2004
Springer
The Minimax Probability Machine (MPM) constructs a classifier, which provides a worst-case bound on the probability of misclassification of future data points based on reliable ...
162
click to vote
CPAIOR
2004
Springer
16 years 2 days ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...