Sciweavers

229 search results - page 3 / 46
» An Executable Interface Specification for Industrial Embedde...
Sort
View
IPPS
1999
IEEE
13 years 11 months ago
Tailor-Made Operating Systems for Embedded Parallel Applications
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
Antônio Augusto Fröhlich, Wolfgang Schr...
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
14 years 1 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
FDL
2005
IEEE
14 years 1 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
RTCSA
1998
IEEE
13 years 11 months ago
Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Je...
JIPS
2006
120views more  JIPS 2006»
13 years 7 months ago
Automatic Hardware/Software Interface Generation for Embedded System
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook...