10891 search results - page 1844 / 2179 » Combining Model Reductions |
204
click to vote
ISPASS
2007
IEEE
16 years 29 days ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
197
Voted
LICS
2007
IEEE
16 years 29 days 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 ...
182
click to vote
PRDC
2007
IEEE
16 years 29 days 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...
171
click to vote
SIBGRAPI
2007
IEEE
16 years 29 days 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...
189
click to vote
SMC
2007
IEEE
16 years 29 days 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...