9974 search results - page 1685 / 1995 » Software Interconnection Models |
146
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...
141
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
146
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
111
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
120
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...