5334 search results - page 466 / 1067 » Communicating quantum processes |
174
Voted
FDL
2005
IEEE
16 years 14 days ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
178
click to vote
ICMCS
2005
IEEE
16 years 14 days ago
2005
IEEE
We use rhetorical annotations to specify a generation process that can assemble meaningful video sequences with a communicative goal and an argumentative progression. Our annotati...
183
Voted
IPPS
2005
IEEE
16 years 14 days ago
2005
IEEE
We propose in this paper an original design space exploration method for reconfigurable architectures adapted to fine and coarse grain resources. The exploration flow deals with c...
163
click to vote
ISCAS
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract—Low-power, single-chip integrated systems are prevailing in remote applications due to the increasing power and delay cost of inter-chip communication compared to on-chi...
170
click to vote
CC
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...