300 search results - page 27 / 60 » Using probabilistic reasoning to automate software tuning |
103
click to vote
TPHOL
2000
IEEE
15 years 4 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
105
click to vote
VLSID
2003
IEEE
16 years 26 days ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
106
Voted
ICSE
2004
IEEE-ACM
16 years 17 days ago
2004
IEEE-ACM
Distributed applications must often consider and select the appropriate trade-offs among three important aspects ? fault-tolerance, performance and resources. We introduce a novel ...
119
Voted
FLAIRS
2008
15 years 2 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
81
Voted
CSL
2007
Springer
15 years 6 months ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...