453 search results - page 60 / 91 » Using Symbolic Simulation for Bounded Property Checking |
139
click to vote
MMB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Computing tight performance bounds in feed-forward networks under general assumptions about arrival and server models has turned out to be a challenging problem. Recently...
144
click to vote
CC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
127
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
90
Voted
IAT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
113
Voted
COLT
2006
Springer
15 years 6 months ago
2006
Springer
We address the problem of online de-noising a stream of input points. We assume that the clean data is embedded in a linear subspace. We present two online algorithms for tracking ...