6306 search results - page 284 / 1262 » Space, Time, and the Use of Language |
221
click to vote
ICCAD
2009
IEEE
15 years 5 months ago
2009
IEEE
Process and environmental variations continue to present significant challenges to designers of high-performance integrated circuits. In the past few years, while much research has...
195
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
222
click to vote
TIP
2010
15 years 2 months ago
2010
We propose algorithms for tracking the boundary contour of a deforming object from an image sequence, when the nonaffine (local) deformation over consecutive frames is large and th...
192
click to vote
CATA
2003
15 years 8 months ago
2003
In a real-time system, it is attractive to use cluster computing system for realizing high performance and high availability. The objectives of the real-time clusters are maximize...
198
click to vote
ISOLA
2007
Springer
16 years 1 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...