29082 search results - page 5452 / 5817 » The Time-Triggered Model of Computation |
198
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
The Radon transform (RT) on straight lines deals as mathematical foundation for many tomographic modalities (e.g. Xray scanner, Positron Emission Tomography), using only primary r...
197
click to vote
IDEAL
2010
Springer
15 years 4 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
196
click to vote
IGARSS
2010
15 years 4 months ago
2010
Sequential multi-sensor satellite images are used for the computation of mesoscale surface currents in the Northern and Southern Baltic Proper. Different marine surface films and ...
276
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
201
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...