7892 search results - page 69 / 1579 » Programming with Models |
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
COR
2008
15 years 1 months ago
2008
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...
DSRT
2008
IEEE
15 years 7 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
112
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
138
click to vote
SIPS
2008
IEEE
15 years 7 months ago
2008
IEEE
The development of embedded system has been toward the multicore architectures in the recent years. It raises concerns in the community of supporting programming models and langua...