1040 search results - page 91 / 208 » Resource Usage Verification |
108
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents an efficient hierarchical 3D capacitance extraction algorithm -- ICCAP. Most previous capacitance extraction algorithms introduce intermediate variables to fac...
110
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
109
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
123
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
125
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--We study the design of media streaming applications in the presence of multiple heterogeneous wireless access methods with different throughputs and costs. Our objective ...