1734 search results - page 184 / 347 » Design Patterns for Reconfigurable Computing |
149
click to vote
JMLR
2006
15 years 5 months ago
2006
An essential step in designing a new computer architecture is the careful examination of different design options. It is critical that computer architects have efficient means by ...
141
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
115
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
Reduction of worst-case delay and delay uncertainty due to capacitive coupling is a still unsolved problem in physical design. We describe a routing only layout solution - swizzli...
166
click to vote
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
135
click to vote
IWPC
2002
IEEE
15 years 10 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...