1188 search results - page 159 / 238 » Testing Semantics: Connecting Processes and Process Logics |
139
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
This paper presents the design and evaluation of an 8-bit adiabatic multiplier. Both the multiplier core and its built-in self-test logic have been designed using a true single-ph...
113
click to vote
ENTCS
2008
15 years 4 months ago
2008
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
235
click to vote
FPGA
2011
ACM
14 years 7 months ago
2011
ACM
FPGAs have been used in many applications to achieve orders-of-magnitude improvement in absolute performance and energy efficiency relative to conventional microprocessors. Despit...
137
click to vote
INTERACT
2003
15 years 5 months ago
2003
: Interacting with video content can be very time-consuming, and solutions are needed to support people in the process of browsing a video so that they can efficiently interact wit...
163
click to vote
CN
2007
15 years 4 months ago
2007
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...