Sciweavers

9006 search results - page 452 / 1802
» Modeling Software
Sort
View
EUROMICRO
2011
IEEE
14 years 6 months ago
Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
James H. Hill
WSC
1998
15 years 8 months ago
Simulation of Manufacturing Systems
This paper discusses how simulation is used to design new manufacturing systems and to improve the performance of existing ones. Topics to be discussed include: manufacturing issu...
Averill M. Law, Michael G. McComas
VMCAI
2007
Springer
16 years 29 days ago
Model Checking Nonblocking MPI Programs
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
Stephen F. Siegel
APSEC
2005
IEEE
16 years 14 days ago
Microcomponent-Based Component Controllers: A Foundation for Component Aspects
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...
Vladimir Mencl, Tomás Bures
FDL
2004
IEEE
15 years 10 months ago
Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
P. Hastono, Stephan Klaus, Sorin A. Huss