2994 search results - page 130 / 599 » Time sequences |
107
click to vote
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
110
Voted
CVPR
2005
IEEE
16 years 2 months ago
2005
IEEE
In this paper we present a method for computing the localization of a mobile robot with reference to a learning video sequence. The robot is first guided on a path by a human, whi...
ASPDAC
2004
ACM
15 years 4 months ago
2004
ACM
Non-rectangular (rectilinear) shape occurs very often in deep submicron floorplanning. Most previous algorithms are designed to handle only convex rectilinear blocks. However, han...
100
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
154
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: Parallel T-Coffee (PTC) was the first parallel implementation of the T-Coffee multiple sequence alignment tool. It is based on MPI and RMA mechanisms. Its purpose is t...