4520 search results - page 742 / 904 » Algebraic Techniques for Timed Systems |
274
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— LDP (Locally Distributed Predicates) is a distributed, high-level language for programming modular reconfigurable robot systems (MRRs). In this paper we present the im...
152
click to vote
ICS
2005
Tsinghua U.
16 years 23 hour ago
2005
Tsinghua U.
We present compiler techniques for translating OpenMP shared-memory parallel applications into MPI messagepassing programs for execution on distributed memory systems. This transl...
192
click to vote
ASPLOS
2004
ACM
15 years 12 months ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...
182
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
215
click to vote
AMDO
2000
Springer
15 years 10 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...