3820 search results - page 634 / 764 » Bounded Model Debugging |
MINENET
2005
ACM
15 years 7 months ago
2005
ACM
Faults in an IP network have various causes such as the failure of one or more routers at the IP layer, fiber-cuts, failure of physical elements at the optical layer, or extraneo...
108
click to vote
PODC
2005
ACM
15 years 7 months ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
143
click to vote
PODC
2005
ACM
15 years 7 months ago
2005
ACM
We consider four problems on distance estimation and object location which share the common flavor of capturing global information via informative node labels: low-stretch routin...
107
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper presents an efficient technique for placement and routing of sensors/actuators and processing units in a grid network. Our system requires an extremely high level of ro...
113
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...