2370 search results - page 149 / 474 » On the Revival of Dynamic Languages |
160
click to vote
EWSA
2004
Springer
15 years 11 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
154
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
171
click to vote
ESM
1998
15 years 7 months ago
1998
This paper introduces a dynamics simulator designed to aid the development of control algorithms for biologically inspired robots. We describe the simulator and a two-tier framewo...
199
Voted
FM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
170
click to vote
ICSM
1998
IEEE
15 years 10 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...