1702 search results - page 208 / 341 » Doomed program points |
142
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper investigates the scenario of a robot making a tradeoff between tracking a time-varying reference trajectory and stopping to communicate at points where the radio sig...
143
Voted
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
An important part of implementing device drivers is to control the interrupt facilities of the hardware platform and to program interrupt handlers. Current methods for handling in...
132
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
155
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
161
click to vote
PDP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...