7452 search results - page 417 / 1491 » A Semantics for Multiprocessor Systems |
204
click to vote
ICASSP
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper describes a referential semantic language model that achieves accurate recognition in user-defined domains with no available domain-specific training corpora. This mo...
189
click to vote
CONCUR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
215
click to vote
OTM
2005
Springer
16 years 1 months ago
2005
Springer
In a highly mobile and active society, ubiquitous access to information and services is a general desire. The context of users is of high importance for an application to adapt aut...
138
click to vote
DALT
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
198
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...