2935 search results - page 565 / 587 » An Integrated Approach to High Integrity Software Verificati... |
131
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A Wide-Area Sensor Network (WASN) is a collection of heterogeneous sensor networks and data repositories spread over a wide geographic area. The diversity of sensor types...
138
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
152
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture...
135
click to vote
EUC
2005
Springer
15 years 9 months ago
2005
Springer
In USA, 2002, approximately 3.2 million intersection-related crashes occurred, corresponding to 50 percent of all reported crashes. In Japan, more than 58 percent of all traffic cr...
188
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...