3820 search results - page 84 / 764 » Bounded Model Debugging |
128
click to vote
APLAS
2010
ACM
15 years 8 days ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
103
click to vote
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— We consider a ring topology with limited or full switching capability as deployed in high bandwidth metro optical networks and develop a model to estimate the probability of bl...
114
Voted
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...
154
click to vote
SIAMCOMP
2011
14 years 5 months ago
2011
We consider the problem of testing graph expansion (either vertex or edge) in the bounded degree model [10]. We give a property tester that given a graph with degree bound d, an ex...
120
click to vote
AIPS
2008
15 years 4 months ago
2008
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...