2624 search results - page 87 / 525 » The 2LIP model and its implementations |
159
click to vote
HPCA
1999
IEEE
15 years 10 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
164
click to vote
DATE
2008
IEEE
16 years 19 days ago
2008
IEEE
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
139
click to vote
ARCS
2005
Springer
15 years 11 months ago
2005
Springer
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...
170
click to vote
ICPP
1991
IEEE
15 years 9 months ago
1991
IEEE
The memory consistency model supported by a multiprocessor directly affects its performance. Thus, several attempts have been made to relax the consistency models to allow for mor...
194
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...