3168 search results - page 216 / 634 » Computing Event Dependencies in System Designs and Programs |
171
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
190
click to vote
EUROPAR
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
180
click to vote
LSSC
2007
Springer
16 years 19 days ago
2007
Springer
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
160
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Abstract: In Peru, the computing discipline as an academic field has been neglected during decades deriving in a lowquality higher education system and consequently shaping an acad...
182
click to vote
ACMSE
2005
ACM
16 years 1 days ago
2005
ACM
Traditionally, computer science education has considered “objects-first” or “imperative-first” approaches, with the focus of the course on teaching design of programs star...