10718 search results - page 286 / 2144 » On the Circuit Implementation Problem |
141
click to vote
EVOW
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
152
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
The Web Services Resource Framework (WS-RF) and the Web Services Notification (WS-N) specifications are a crucial component of Grid infrastructures. They provide a standardized int...
205
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...
187
click to vote
FORTEST
2008
15 years 8 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
165
click to vote
ASC
2006
15 years 8 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...