3688 search results - page 47 / 738 » Static analysis of aspects |
IROS
2009
IEEE
14 years 4 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 4 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 3 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 3 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...
ENTCS
2006
13 years 10 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...