Sciweavers

1738 search results - page 298 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
15 years 8 months ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic
IPPS
1999
IEEE
15 years 7 months ago
Irregular Parallel Algorithms in JAVA
The nested data-parallel programming model supports the design and implementation of irregular parallel algorithms. This paper describes work in progress to incorporate nested data...
Brian Blount, Siddhartha Chatterjee, Michael Phili...
ACSD
1998
IEEE
101views Hardware» more  ACSD 1998»
15 years 7 months ago
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
Howard Bowman, Joost-Pieter Katoen
WSC
1998
15 years 4 months ago
Reactive Tabu Search in Unmanned Aerial Reconnaissance Simulations
We apply a Reactive Tabu Search (RTS) heuristic within a discrete-event simulation to solve routing problems for Unmanned Aerial Vehicles (UAVs). Our formulation represents this p...
Joel L. Ryan, T. Glenn Bailey, James T. Moore, Wil...
HPDC
1997
IEEE
15 years 7 months ago
PARDIS: A Parallel Approach to CORBA
This paper describes PARDIS, a system containing explicit support for interoperability of PARallel DIStributed applications. PARDIS is based on the Common Object Request Broker Ar...
Katarzyna Keahey, Dennis Gannon