1069 search results - page 18 / 214 » A framework for characterization and analysis of software sy... |
ICDCS
2003
IEEE
14 years 1 months ago
2003
IEEE
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
HPCA
2004
IEEE
14 years 8 months ago
2004
IEEE
As microprocessors become increasingly complex, the techniques used to analyze and predict their behavior must become increasingly rigorous. This paper applies wavelet analysis te...
CIKM
2003
Springer
14 years 1 months ago
2003
Springer
Prior research into search system scalability has primarily addressed query processing efficiency [1, 2, 3] or indexing efficiency [3], or has presented some arbitrary system arch...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...