9186 search results - page 261 / 1838 » A Module System for Scheme |
167
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
178
click to vote
ISVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
Re-using the network in a NoC-based system as a test access mechanism is an attractive solution as pointed out by several authors. As a consequence, testing of NoC-based SoCs is b...
196
click to vote
ISCAS
2005
IEEE
16 years 6 days ago
2005
IEEE
— Interconnect delays are increasingly becoming the dominant source of performance degradation in the nano-meter regime, largely because of disturbances that result from parasiti...
160
click to vote
CASDMKM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Many methodologies have been introduced to deal with project portfolio selection problem including some techniques that help to evaluate individual projects, or to select...
133
Voted
MSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Third-party transfer is a data transfer mechanism where the party initiating the transfer is neither the source nor the sink for the data. In this paper, we present a scheme for s...