1532 search results - page 75 / 307 » A Comparison of RESTART Implementations |
127
Voted
ATAL
2005
Springer
15 years 9 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...
124
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
135
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
126
Voted
NSDI
2007
15 years 5 months ago
2007
WiFi-based Long Distance (WiLD) networks with links as long as 50–100 km have the potential to provide connectivity at substantially lower costs than traditional approaches. How...
118
Voted
MM
2010
ACM
15 years 3 months ago
2010
ACM
The increasing availability of high speed Internet access and the decreasing cost of wireless technologies has increased the number of devices in the home that wirelessly connect ...