11061 search results - page 239 / 2213 » Computer Architecture |
132
Voted
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
119
Voted
ENTCS
2008
15 years 3 months ago
2008
In Kahn process network (KPN), the processes (nodes) communicate by unbounded unidirectional FIFO channels (arcs), with the property of non-blocking writes and blocking reads on t...
114
Voted
DAC
1999
ACM
15 years 8 months ago
1999
ACM
The assumption in moving system modelling to higher levels is that this improves the design process by allowing exploration of the architecture, providing an unambiguous specifica...
124
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction setarchitecture(ISA). We describethree techniquesfor improving this me...
152
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
—We survey state-of-the-art optimization methods that target low power dissipation in VLSI circuits. Optimizations at the circuit, logic, architectural and system levels are cons...