3844 search results - page 231 / 769 » Modular interpreted systems |
140
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
187
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
126
click to vote
MVA
1994
15 years 5 months ago
1994
Modeling of 3-D Joint Set Interpretation In order to estimate rock joint parameters, such as strikes and dips which geologists often inspect on site andlor calculate through 3Djoin...
145
click to vote
SOCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
119
click to vote
EMNLP
2009
15 years 1 months ago
2009
Coreference systems are driven by syntactic, semantic, and discourse constraints. We present a simple approach which completely modularizes these three aspects. In contrast to muc...