2272 search results - page 220 / 455 » Validity Invariants and Effects |
163
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
141
click to vote
ISLPED
1998
ACM
15 years 10 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
149
click to vote
MM
1994
ACM
15 years 9 months ago
1994
ACM
: One of the major obstacles facing designers of video conferencing systems is the problem of ameliorating the effects of congestion on interconnected packet-switched networks that...
160
click to vote
SIGMETRICS
1990
ACM
15 years 9 months ago
1990
ACM
Multiprocessors require an interconnection network to connect processors with memory modules. The performance of the interconnection network can have a large effect upon overall s...
156
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
Abstract--An integrated test scheduling methodology for multiprocessor System-on-Chips (SOC) utilizing the functional buses for test data delivery is described. The proposed method...