3820 search results - page 60 / 764 » Bounded Model Debugging |
132
click to vote
ECRTS
2003
IEEE
15 years 7 months ago
2003
IEEE
Utilization bounds for schedulability of aperiodic tasks are new in real-time scheduling literature. All aperiodic bounds known to date apply only to independent tasks. They eithe...
103
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper we propose a model to compute an upper bound for the maximum network size in mobile ad-hoc networks. Our model is based on the foundation that for a unicast route ...
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
- A noble model-based programming environment of embedded software for MPSoC is proposed. By defining a common intermediate code (CIC), it separates modeling of the software and im...
105
click to vote
STOC
2009
ACM
16 years 2 months ago
2009
ACM
We give near-optimal space bounds in the streaming model for linear algebra problems that include estimation of matrix products, linear regression, low-rank approximation, and app...
108
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.