10666 search results - page 1510 / 2134 » Quantum programming languages |
185
click to vote
FM
2003
Springer
16 years 10 days ago
2003
Springer
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
176
click to vote
ICLP
2003
Springer
16 years 9 days ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
169
click to vote
PG
2002
IEEE
16 years 23 hour ago
2002
IEEE
Lworld is a computer graphics animation system based on L-systems, a parallel rewriting technique used primarily in computer graphics for plant modeling. Because rulebased program...
168
click to vote
SCAM
2002
IEEE
16 years 23 hour ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
157
click to vote
ACISICIS
2009
IEEE
15 years 12 months ago
2009
IEEE
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...