1925 search results - page 317 / 385 » Theory research at Google |
153
click to vote
ISER
1995
Springer
15 years 9 months ago
1995
Springer
Minimalism pursues the following agenda: For a given robotics task, nd the minimal con guration of resources required to solve the task. Thus, minimalism attempts to reduce the re...
194
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
192
click to vote
IPSN
2010
Springer
15 years 8 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
185
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
153
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...