3169 search results - page 367 / 634 » Robust Timed Automata |
207
click to vote
DAC
2006
ACM
16 years 20 days ago
2006
ACM
This paper investigates methods for clock skew minimization using buffer and wire sizing. First, a technique that significantly improves solution quality and stability of sequent...
132
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes an improved approach to Boolean network optimization using internal don’t-cares. The improvements concern the type of don’t-cares computed, their scope, a...
174
click to vote
ICRA
2005
IEEE
16 years 8 days ago
2005
IEEE
-In order to implement a continuous and robust dynamic localization of a mobile robot, the fusion of dead reckoning and absolute sensors is often used. Depending on the objectives ...
179
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
We propose in this paper a heuristic for mapping a set of interacting tasks of a parallel application onto a heterogeneous computing platform such as a computational grid. Our nov...
227
click to vote
VISUALIZATION
2005
IEEE
16 years 7 days ago
2005
IEEE
Quality surface meshes for molecular models are desirable in the studies of protein shapes and functionalities. However, there is still no robust software that is capable to gener...