2509 search results - page 206 / 502 » Developing Adaptable Components Using Dynamic Languages |
100
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
We present a modular static analysis which identifies structural (shape) invariants for a subset of heap-manipulating programs. The subset is defined by means of a non-standard ...
108
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
In this study, we propose the use of specialized influence models to capture the dynamic behavior of a Network-onChip (NoC). Our goal is to construct a versatile modeling framewor...
118
click to vote
APSEC
2003
IEEE
15 years 6 months ago
2003
IEEE
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
118
Voted
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— The development of an oscillator controller for a quadruped robot with antagonistic pairs of pneumatic actuators is reported. Periodic motions of the legs switch between the sw...
151
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...