6201 search results - page 320 / 1241 » Implementation of Axiomatic Language |
184
click to vote
CICLING
2007
Springer
16 years 28 days ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
195
click to vote
OOPSLA
2007
Springer
16 years 27 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
167
click to vote
PLDI
2004
ACM
16 years 5 days ago
2004
ACM
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
190
click to vote
SENSYS
2004
ACM
16 years 5 days ago
2004
ACM
We propose a new configuration language, component and service library, and compiler that make it easier to develop efficient sensor network applications. Our goal is the constr...
166
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...