895 search results - page 130 / 179 » A Spectrum of Applications of Automated Reasoning |
175
click to vote
GIS
2008
ACM
15 years 11 months ago
2008
ACM
By embedding sensors in mobile devices, it is possible to exploit the ubiquitous presence of these devices to construct applications for large-scale sensing and monitoring of envi...
163
click to vote
GIS
2008
ACM
15 years 11 months ago
2008
ACM
The application domain of intelligent transportation is plagued by a shortage of data sources that adequately assess traffic situations. Typically, to provide routing and navigati...
DAC
2002
ACM
15 years 10 months ago
2002
ACM
One of the primary challenges in embedded system design is designing the memory hierarchy and restructuring the application to take advantage of it. This task is particularly impo...
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
— Future application areas of wireless sensor networks (WSNs) may include industrial process automation, aircraft control systems or patient monitoring in hospitals. Such applica...
PLISP
1989
15 years 1 months ago
1989
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...