7452 search results - page 417 / 1491 » A Semantics for Multiprocessor Systems |
181
Voted
ICASSP
2008
IEEE
16 years 1 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...
172
click to vote
CONCUR
2005
Springer
16 years 12 days 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 ...
189
Voted
OTM
2005
Springer
16 years 11 days 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...
118
click to vote
DALT
2004
Springer
16 years 8 days 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...
175
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...