6607 search results - page 1048 / 1322 » Making TeX Work |
173
click to vote
LICS
2008
IEEE
16 years 29 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
220
click to vote
MICRO
2008
IEEE
16 years 29 days ago
2008
IEEE
— As semiconductor processing techniques continue to scale down, transient faults, also known as soft errors, are increasingly becoming a reliability threat to high-performance m...
179
click to vote
PIMRC
2008
IEEE
16 years 28 days ago
2008
IEEE
—The development of mobile ad hoc systems have considerably emphasized the need for a better understanding of the factors that influence the systems’ performance, i.e., mobili...
154
click to vote
RTSS
2008
IEEE
16 years 28 days ago
2008
IEEE
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
162
click to vote
SECON
2008
IEEE
16 years 28 days ago
2008
IEEE
—Wireless reprogramming is a key functionality in Wireless Sensor Networks (WSNs). In fact, the requirements for the network may change in time, or new parameters might have to b...