3436 search results - page 239 / 688 » Software Tools for Performance Modeling of Parallel Programs |
133
click to vote
CF
2009
ACM
15 years 29 days ago
2009
ACM
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...
138
click to vote
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
116
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
140
click to vote
MICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
Due to the widespread software piracy and virus attacks, significant efforts have been made to improve security for computer systems. For stand-alone computers, a key observation...
137
click to vote
SIGCSE
1999
ACM
15 years 7 months ago
1999
ACM
The wide-spread use of microprocessor based systems that utilize cache memory to alleviate excessively long DRAM access times introduces a new dimension in the quest to obtain goo...