Sciweavers

3979 search results - page 334 / 796
» Wild control operators
Sort
View
HASE
1999
IEEE
15 years 11 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
ROBOCUP
1999
Springer
157views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
Big Red: The Cornell Small League Robot Soccer Team
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
Raffaello D'Andrea, Jin-Woo Lee, Andrew Hoffman, A...
RTSS
1998
IEEE
15 years 11 months ago
Design and Implementation of a Real-Time ATM-Based Protocol Server
This paper describes design and implementation of L ATM, an ATM (Asynchronous Transfer Mode) based networking server. While ATM emphasizes deterministic highspeed communication, a...
Martin Borriss, Hermann Härtig
POPL
1998
ACM
15 years 11 months ago
Maximal Static Expansion
Memory expansions are classical means to extract parallelism from imperative programs. However, for dynamic control programs with general memory accesses, such transformations eit...
Denis Barthou, Albert Cohen, Jean-Francois Collard
KES
1998
Springer
15 years 11 months ago
Insect vision based motion detection
The architectural and circuit design aspects of a mixed analog/digital very large scale integration (VLSI) motion detection chip based on models of the insect visual system are des...
X. T. Nguyen