1768 search results - page 124 / 354 » A Logic for Algebraic Effects |
116
Voted
EUROMICRO
2000
IEEE
15 years 5 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
In distributed-memory message-passing architectures reducing communication cost is extremely important. In this paper, we present a technique to optimize communication globally. O...
125
Voted
UTP
2010
14 years 11 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
107
Voted
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we present novel algorithms that effectively combine physical layout and early logic synthesis to improve overall design quality. In addition, we employ partitionin...
121
click to vote
CAINE
2003
15 years 2 months ago
2003
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...