6939 search results - page 913 / 1388 » Algorithm Engineering for Parallel Computation |
153
click to vote
SEFM
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
182
click to vote
EMSOFT
2005
Springer
16 years 10 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
170
click to vote
IUI
2004
ACM
16 years 7 days ago
2004
ACM
A vision-based virtual mouse interface is described that utilizes a robotic head, visual tracking of the users head and hand positions and recognition of user hand signs to contro...
155
Voted
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
153
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...