9018 search results - page 1439 / 1804 » 3D-Brain Model Software |
175
click to vote
ISPASS
2006
IEEE
16 years 22 days ago
2006
IEEE
Current simulation-sampling techniques construct accurate model state for each measurement by continuously warming large microarchitectural structures (e.g., caches and the branch...
232
click to vote
LCTRTS
2005
Springer
16 years 7 days ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
178
click to vote
VMCAI
2005
Springer
16 years 6 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
231
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
166
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...