14244 search results - page 2352 / 2849 » Modeling Program Predictability |
153
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Game development is quickly gaining popularity in introductory programming courses. Motivational and educational aspects of game development are hard to balance and often sacrific...
163
click to vote
IJON
2007
15 years 4 months ago
2007
— This paper, presents a feasability study of a central pattern generator-based analog controller for an autonomous robot. The operation of a neuronal circuit formed of electroni...
155
click to vote
TCS
2008
15 years 4 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
192
click to vote
JOT
2007
15 years 4 months ago
2007
machines raise the abstraction level of the execution environment at the cost of restricting the set of supported languages. Moreover, the ability of a language implementation to i...
136
click to vote
CCE
2004
15 years 4 months ago
2004
This paper treats the solution of nonlinear optimization problems involving discrete decision variables, also known as generalized disjunctive programming (GDP) or mixed-integer n...