7262 search results - page 995 / 1453 » Reversible Computer Hardware |
175
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
176
click to vote
ISCC
2000
IEEE
15 years 11 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
171
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
184
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes the hardware and software architecture of the Attempto RoboCup-99 team. We first present the design of our heavily modified commercial robotic base, the robo...
197
click to vote
VW
1998
Springer
15 years 11 months ago
1998
Springer
Rendering and animating in real-time a multitude of articulated characters presents a real challenge and few hardware systems are up to the task. Up to now little research has bee...