5544 search results - page 551 / 1109 » Three Inadequate Models |
189
click to vote
HIPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
189
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
158
click to vote
WSC
2007
15 years 9 months ago
2007
Event Graphs (EGs) and Simulation Graph Models provide a powerful and general modeling framework for discrete event simulation. Qualitative Event Graphs (QEGs) extend the EG frame...
187
click to vote
WSC
2008
15 years 9 months ago
2008
Information superiority is considered a critical capability for future joint forces. As advances in technology continue to boost our ability to communicate in new and different wa...
180
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...