Sciweavers

658 search results - page 18 / 132
» Slicing Methods Using Static and Dynamic Analysis Informatio...
Sort
View
IBPRIA
2005
Springer
14 years 1 months ago
Dynamic Texture Recognition Using Normal Flow and Texture Regularity
The processing, description and recognition of dynamic (time-varying) textures are new exciting areas of texture analysis. Many real-world textures are dynamic textures whose retri...
Renaud Péteri, Dmitry Chetverikov
SEFM
2005
IEEE
14 years 1 months ago
Counting Interface Automata and their Application in Static Analysis of Actor Models
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
Ernesto Wandeler, Jörn W. Janneck, Edward A. ...
ICCD
2004
IEEE
128views Hardware» more  ICCD 2004»
14 years 4 months ago
Static Transition Probability Analysis Under Uncertainty
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
Siddharth Garg, Siddharth Tata, Ravishankar Arunac...
CLUSTER
2003
IEEE
14 years 24 days ago
Compiler Optimized Remote Method Invocation
We further increase the efficiency of Java RMI programs. Where other optimizing re-implementations of RMI use pre-processors to create stubs and skeletons and to create class spe...
Ronald Veldema, Michael Philippsen
POPL
2011
ACM
12 years 10 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...