1992 search results - page 284 / 399 » Memory modeling for system synthesis |
124
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
146
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
DEIRA is a virtual agent commenting on virtual horse races in real time. DEIRA analyses the state of the race, acts emotionally and comments about the situation in a believable an...
118
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
Intertask/interprocess synchronization overheads may be significant in a multiprocessor-shared memory System-on-a-Chip implementation. These overheads are observed in terms of loc...
138
click to vote
APN
2004
Springer
15 years 10 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
112
click to vote
CRIWG
2006
15 years 6 months ago
2006
This paper proposes a conceptual model standardizing the meeting information structures underlying several scenarios o PDA use in meetings. The paper characterizes the memory and p...