Sciweavers

1419 search results - page 183 / 284
» Using Managed Communication Channels in Software Components
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya
EUROMICRO
2003
IEEE
15 years 11 months ago
An Implementation of an Overlay Network Architecture Scheme for Streaming Media Distribution
In this paper we introduce the implementation of a streaming video distribution scheme based on client relay modules. The purpose is the formation and maintenance of an overlay ne...
Charalampos Z. Patrikakis, Y. Despotopoulos, Andre...
ATMOS
2007
124views Optimization» more  ATMOS 2007»
15 years 7 months ago
A Simulation/Optimization Framework for Locomotive Planning
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
Artyom G. Nahapetyan, Ravindra K. Ahuja, F. Zeynep...
FPL
2008
Springer
92views Hardware» more  FPL 2008»
15 years 7 months ago
Parallel hardware objects for dynamically partial reconfiguration
Many of today's software-to-hardware compiler projects try to find dataflow parallelism in a sequential program description and use it to generate parallel running hardware c...
Norbert Abel, Frederik Grüll, Nick Meier, And...
ANSS
2005
IEEE
15 years 12 months ago
J-Sim: A Simulation Environment for Wireless Sensor Networks
Wireless Sensor Networks (WSNs) have gained considerable attention in the past few years. As such, there has been an increasing need for defining and developing simulation framew...
Ahmed Sobeih, Wei-Peng Chen, Jennifer C. Hou, Lu-C...