10891 search results - page 1844 / 2179 » Combining Model Reductions |
161
Voted
ISPASS
2007
IEEE
15 years 9 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
152
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
129
click to vote
PRDC
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a comprehensive solution to handle memory-overflow problems in multitasking embedded systems thereby improving their reliability and availability. In particular, we pro...
130
Voted
SIBGRAPI
2007
IEEE
15 years 9 months ago
2007
IEEE
— In the reversible conversion of color images to gray ones, colors are mapped to textures and from the textures the receiver can recover the colors, i.e. one may print a color i...
118
click to vote
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— The underwater environment presents many challenges for robotic sensing including highly variable lighting, the presence of dynamic objects, and the six degree of freed...