2673 search results - page 34 / 535 » Guided Static Analysis |
PPOPP
2005
ACM
14 years 2 months ago
2005
ACM
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— This paper describes a stochastic static analysis of link angle driven by actuator bundles. We first demonstrate a movement of a link driven by actuator bundles in terms of hi...
IESS
2007
Springer
14 years 2 months ago
2007
Springer
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...