546 search results - page 99 / 110 » Parametric Program Slicing |
CAV
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
ECAL
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...
EVOW
2007
Springer
14 years 27 days ago
2007
Springer
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
ACSC
2006
IEEE
14 years 24 days ago
2006
IEEE
Incorporating constraints into a reactive BDI agent programming language can lead to better expressive capabilities as well as more efficient computation (in some instances). More...