7318 search results - page 1235 / 1464 » Models of real-valued measurability |
196
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This papers explores, primarily by means of analysis, the differences that can exist between individual and aggregate loss guarantees in an environment where guarantees...
172
Voted
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
Critical systems like pace-makers, defibrillators, wearable computers and other electronic gadgets have to be designed not only for reliability but also for ultra-low power consu...
197
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Datapath width optimization is very effective for reducing the area of a custom-made embedded system. The trivial way of optimization is to iteratively customize, evaluate, and r...
158
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
182
click to vote
SSIAI
2002
IEEE
15 years 11 months ago
2002
IEEE
The new image compression standard, JPEG2000, provides higher compression rates for the same visual quality for grayscale and color images than JPEG. JPEG2000 is being adopted for...