Sciweavers

7508 search results - page 18 / 1502
» A new approach for distributed computing in avionics systems
Sort
View
SAC
2006
ACM
13 years 7 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
CCGRID
2001
IEEE
13 years 11 months ago
Charging Distributed Services of a Computational Grid Architecture
Charging of services in a distributed system will become more and more important for systems which are utilized commercially. Such an important distributed system exists in form o...
Burkhard Stiller, Jan Gerke, Placi Flury, Peter Re...
CADE
2009
Springer
14 years 8 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
AAAI
2007
13 years 10 months ago
A Multi-Agent Approach to Distributed Rendering Optimization
Physically based rendering is the process of generating a 2D om the abstract description of a 3D Scene. Despite the development of various new techniques and algorithms, the compu...
Carlos Gonzalez-Morcillo, Gerhard Weiss, Luis Jim&...
JCIT
2007
103views more  JCIT 2007»
13 years 7 months ago
Distributed Systems: An Effective Information Sharing Approach for Legacy Systems
An important issue of distributed systems is interoperability. Lack of interoperability between distributed systems is a common problem with current and legacy applications. Since...
S. Kami Makki