3239 search results - page 569 / 648 » A Logical Process Calculus |
124
click to vote
PDP
2003
IEEE
15 years 8 months 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...
132
click to vote
TPHOL
2003
IEEE
15 years 8 months 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...
115
click to vote
DOCENG
2003
ACM
15 years 8 months 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...
130
click to vote
PADS
2003
ACM
15 years 8 months 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...
120
Voted
SLIP
2003
ACM
15 years 8 months 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...