3408 search results - page 340 / 682 » Logic, language, information and computation |
209
Voted
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
165
Voted
SIGCSE
2004
ACM
16 years 1 months ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
152
click to vote
PADL
2001
Springer
16 years 20 hour ago
2001
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...
190
click to vote
OORASE
1999
Springer
15 years 12 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
192
click to vote
ICALP
2000
Springer
15 years 11 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...