8928 search results - page 359 / 1786 » Modeling Current Events |
141
click to vote
IWOMP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...
137
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
127
Voted
WSC
2007
15 years 7 months ago
2007
This paper describes the use of a planning ontology of the domain of Aircraft Maintenance, Repair and Overhaul [MRO] at a USAF depot to produce a discrete event simulation model o...
159
click to vote
APN
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
128
Voted
WSC
2004
15 years 6 months ago
2004
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...