705 search results - page 102 / 141 » System Diagnosability Analysis Using p-slop MAP |
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we apply the classic theory of Harmonic Analysis and the Conformal Geometric Algebra (CGA) to evaluate the Fourier transform on the unit sphere S2 and on the rotatio...
DEXA
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents an application that aims at identifying optimal locations based on partially ordered constraints. It combines a tool developed in this project that al...
102
click to vote
TIC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
111
click to vote
ADBIS
2010
Springer
14 years 10 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
IISWC
2009
IEEE
15 years 4 months ago
2009
IEEE
Recent benchmark suite releases such as Parsec specifically utilise the tightly coupled cores available in chipmultiprocessors to allow the use of newer, high performance, models ...