1715 search results - page 295 / 343 » Embedded Systems and Real-Time Programming |
115
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
143
click to vote
EDCC
2008
Springer
15 years 3 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
91
Voted
IJCAI
2007
15 years 3 months ago
2007
The action language Golog has been applied successfully to the control of robots, among other things. Perhaps its greatest advantage is that a user can write programs which constr...
133
click to vote
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...
100
click to vote
SAMOS
2007
Springer
15 years 7 months ago
2007
Springer
— Interrupt-based programming is widely used for interfacing a processor with peripherals and allowing software threads to interact. Many hardware/software architectures have bee...