10870 search results - page 1824 / 2174 » Model Checking Programs |
168
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a technique for Worst-Case Execution Time WCET analysis for pipelined processors. Our technique uses a standard simulator instead of special-purpose pipel...
191
click to vote
ICVS
1999
Springer
15 years 11 months ago
1999
Springer
Many modern computer vision systems are built by chaining together standard vision procedures, often in graphical programming environments such as Khoros, CVIPtools or IUE. Typical...
199
click to vote
HCW
1998
IEEE
15 years 11 months ago
1998
IEEE
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
201
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
The main ideas behind the implementation of the IALP RoboCup team are discussed: an agent architecture made of a hierarchy of behaviors, which can be combined to obtain different ...
161
click to vote
SCI
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes the parallelization of a commercial molecular dynamics simulation code, GROMOS96, on a SCI (Scalable Coherent Interface) interconnected PC cluster. The underly...