Sciweavers

3607 search results - page 136 / 722
» Distributed Parallel Computing Using Windows Desktop Systems
Sort
View
IPPS
2005
IEEE
15 years 7 months ago
Overview of Air Traffic Control using an SIMD COTS system
Air Traffic Control is an important application with demanding real-time database processing requirements. Systems that have been implemented using current approaches have typical...
Stewart F. Reddaway, Will C. Meilander, Johnnie W....
EDOC
2005
IEEE
15 years 7 months ago
Modeling the ODP Computational Viewpoint with UML 2.0
The advent of UML 2.0 has provided a new set of concepts more apt for modeling the structure and behavior of distributed systems. These concepts and mechanisms can be effectively ...
José Raúl Romero, Antonio Vallecillo
ARTS
1999
Springer
15 years 6 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
IPPS
2000
IEEE
15 years 6 months ago
Connectivity Models for Optoelectronic Computing Systems
Abstract. Rent's rule and related concepts of connectivity such as dimensionality, line-length distributions, and separators have found great use in fundamental studies of di ...
Haldun M. Özaktas
EDOC
2006
IEEE
15 years 8 months ago
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
Ronan Barrett, Claus Pahl