2520 search results - page 295 / 504 » Model-checking behavioral programs |
116
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Existing value function approximation methods have been successfully used in many applications, but they often lack useful a priori error bounds. We propose a new approximate bili...
102
click to vote
TSE
2008
15 years 2 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
132
Voted
APLAS
2010
ACM
15 years 19 days ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
198
Voted
IJAC
2011
14 years 9 months ago
2011
— To successfully design and engineer solutions for today’s and tomorrow’s rapidly changing and expanding global contexts, in which people are confronted with new opportuniti...
179
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...