16844 search results - page 48 / 3369 » How to Design Programs |
128
click to vote
SFP
2003
15 years 3 months ago
2003
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
155
click to vote
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
115
click to vote
EUROGP
2000
Springer
15 years 6 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...
109
click to vote
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
100
Voted
SIGCSE
1999
ACM
15 years 6 months ago
1999
ACM
A Global Cooperation Project was conducted with computer science classes at the Czech Technical University and North Hennepin Community College. The project was a pilot project fo...