1329 search results - page 4 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
ENTCS
2008
13 years 7 months ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
ENTCS
2008
13 years 7 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
EWC
2008
13 years 7 months ago
2008
The pre-processing stage of finite element analysis of the Navier-Stokes equations is becoming increasingly important as the desire for more general boundary conditions, as well a...
CSMR
2002
IEEE
14 years 12 days ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
A perceptual human-machine interface based on visual appearence of hand movements is presented. Gestures are defined as the temporal evolution of 3D poses the of user's hand....