2419 search results - page 439 / 484 » A Formal Approach to Software Testing |
118
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present an approach to the scheduling and voltage scaling of low-power fault-tolerant hard real-time applications mapped on distributed heterogeneous embedded sys...
139
Voted
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
120
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
141
Voted
IUI
2000
ACM
15 years 7 months ago
2000
ACM
In recent years, many systems and approaches for recommending information, products or other objects have been developed. In these systems, often machine learning methods that nee...
127
Voted
BIOSYSTEMS
2008
15 years 2 months ago
2008
Change of DNA sequence that fuels evolution is, to a certain extent, a deterministic process because mutagenesis does not occur in an absolutely random manner. So far, it has not ...