9532 search results - page 1690 / 1907 » Logic, Graphs, and Algorithms |
154
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
172
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
136
click to vote
FPGA
2004
ACM
15 years 12 months ago
2004
ACM
In this work, we parameterize and explore the interconnect structure of pipelined FPGAs. Specifically, we explore the effects of interconnect register population, length of regist...
213
click to vote
FPL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
151
click to vote
GRID
2004
Springer
15 years 12 months ago
2004
Springer
— We are developing a distributed computing system, Virtuoso, which presents virtual machines (VMs) as its fundabstraction to end users. Long-running noninteractive VMs may coexi...