3335 search results - page 107 / 667 » A Unified Approach to Modeling and Programming |
156
click to vote
IJRR
2000
15 years 6 months ago
2000
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
170
click to vote
WSC
2004
15 years 7 months ago
2004
This paper describes a proposed pilot educational program to teach middle and high school students the space shuttle processing operations. This pilot program involves a partnersh...
160
click to vote
TLDI
2003
ACM
15 years 11 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
202
click to vote
ALIFE
1999
15 years 6 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
189
click to vote
FMOODS
2008
15 years 7 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...