942 search results - page 124 / 189 » Application of Model Driven Techniques for Agent-Based Simul... |
110
Voted
MICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
CAV
2001
Springer
15 years 3 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
SIGMETRICS
1993
ACM
15 years 3 months ago
1993
ACM
As disk arrays become widely used, tools for understanding and analyzing their performance become increasingly important. In particular, performance models can be invaluable in bo...
84
Voted
SIGGRAPH
2000
ACM
15 years 3 months ago
2000
ACM
In this paper we introduce a new light reflection model for image synthesis based on experimental studies of surface gloss perception. To develop the model, we’ve conducted two ...
91
Voted
JCNS
2010
14 years 9 months ago
2010
Binocular rivalry occurs when two very different images are presented to the two eyes, but a subject perceives only one image at a given time. A number of computational models for...