575 search results - page 28 / 115 » Towards Electrical, Integrated Implementations of SIMPL Syst... |
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
113
click to vote
AAI
1998
14 years 11 months ago
1998
In the Intelligent Robotics Laboratory (IRL) at Vanderbilt University we seek to develop service robots with a high level of social intelligence and interactivity. In order to ach...
196
Voted
POPL
2008
ACM
16 years 2 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
104
click to vote
PPOPP
1993
ACM
15 years 3 months ago
1993
ACM
This paper discusses some of the issues involved in implementing a shared-address space programming model on large-scale, distributed-memory multiprocessors. While such a programm...
DAC
2008
ACM
16 years 22 days ago
2008
ACM
This paper presents a RTR FPGA embedded in a System on Chip fabricated in 130nm CMOS process. Various aspects of the design flow, from automation to floor-planning are discussed. ...