9507 search results - page 642 / 1902 » Time-based language models |
227
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
188
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
216
click to vote
PPSWR
2005
Springer
16 years 22 days ago
2005
Springer
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorpo...
166
click to vote
SOCO
2005
Springer
16 years 22 days ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
203
click to vote
TLCA
2005
Springer
16 years 22 days ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...