7961 search results - page 401 / 1593 » Input-Output Model Programs |
183
Voted
JOT
2008
15 years 6 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
247
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
139
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
153
Voted
IROS
2007
IEEE
16 years 13 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
142
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Fault-tolerant programs are typically not only difficult to implement but also incur extra costs in terms of performance or resource consumption. Failures are typically relatively ...