9210 search results - page 415 / 1842 » Analyzing Real-Time Systems |
173
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
174
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
Multicore platforms, which include several processing cores on a single chip, are being widely touted as a solution to heat and energy problems that are impediments to single-core...
163
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— We present an outdoor terrain planner that finds near optimal trajectories under dynamic and kinematic constraints. The planner can find solutions in close to real time by re...
191
click to vote
TIME
2005
IEEE
16 years 12 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
187
Voted
DAGM
2001
Springer
15 years 11 months ago
2001
Springer
Novel similarity measures for object recognition and image matching are proposed, which are inherently robust against occlusion, clutter, and nonlinear illumination changes. They c...