2935 search results - page 459 / 587 » An Integrated Approach to High Integrity Software Verificati... |
159
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
State-of-the-art technologies in very large scale integration (VLSI) allow for the realization of gates with varying energy consumptions and hence delays (i.e., processing speeds) ...
152
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
166
click to vote
EMSOFT
2006
Springer
15 years 9 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...
186
click to vote
AVI
2008
15 years 8 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
168
click to vote
AVI
2008
15 years 8 months ago
2008
In this paper we investigate tangible interaction on interactive tabletops. These afford the support and integration of physical artefacts for the manipulation of digital media. T...