3239 search results - page 569 / 648 » A Logical Process Calculus |
181
click to vote
PDP
2003
IEEE
16 years 20 days ago
2003
IEEE
As general-purpose parallel computers are increasingly being used to speed up different VLSI applications, the development of parallel algorithms for circuit testing, logic minimi...
195
Voted
TPHOL
2003
IEEE
16 years 20 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
192
Voted
DOCENG
2003
ACM
16 years 19 days ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
197
click to vote
PADS
2003
ACM
16 years 19 days ago
2003
ACM
There is a wide-spread usage of hardware design languages(HDL) to speed up the time-to-market for the design of modern digital systems. Verification engineers can simulate hardwa...
187
click to vote
SLIP
2003
ACM
16 years 19 days ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...