1835 search results - page 106 / 367 » Functional Programming of Behavior-Based Systems |
178
click to vote
LCTRTS
1999
Springer
15 years 9 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
143
click to vote
ICALP
2001
Springer
15 years 9 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
135
click to vote
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
143
click to vote
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
126
click to vote
ITS
1992
Springer
15 years 8 months ago
1992
Springer
: The ProgramCritic is a system designed to analyze and critique students' computer programs. After analyzing a program, the ProgramCritic provides the student with a list of ...