12115 search results - page 365 / 2423 » Bisimulation of Dynamical Systems |
171
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
211
click to vote
CSMR
2002
IEEE
15 years 11 months 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 ...
211
click to vote
LCR
1998
Springer
15 years 11 months ago
1998
Springer
There is an emerging class of real-time interactive applications that require the dynamic integration of task and data parallelism. An example is the Smart Kiosk, a free-standing ...
189
click to vote
ICSOFT
2008
15 years 8 months ago
2008
Abstract. Since the Internet has become a commodity in both wired and wireless environments, new applications and paradigms have emerged to explore this highly distributed and wide...
175
click to vote
AR
2002
15 years 6 months ago
2002
Abstract--A prominent emerging theory of sensorimotor development in biological systems proposes that control knowledge is encoded in the dynamics of physical interaction with the ...