632 search results - page 23 / 127 » The Basics of Performance-Monitoring Hardware |
ISMVL
2000
IEEE
15 years 2 months ago
2000
IEEE
— This paper analyses the propagation operations of signal’s multiple-valued behavior while passing through the basic gates. Based on it the propagation algorithm of behavior p...
62
Voted
SIGMETRICS
1996
ACM
15 years 1 months ago
1996
ACM
abstraction and a mechanized execution strategy, we are able to quickly construct working prototypes which can immediately be evaluated each of three environments: a device driver ...
MOVEP
2000
15 years 1 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
DATE
2005
IEEE
14 years 11 months ago
2005
IEEE
This paper surveys the characteristics of multimedia systems. Multimedia applications today are dominated by compression and decompression, but multimedia devices must also implem...
80
Voted
MICRO
2007
IEEE
15 years 4 months ago
2007
IEEE
The performance of computer systems varies over the course of their execution. A system may perform well during some parts of its execution and poorly during others. To understand...