Sciweavers

5186 search results - page 232 / 1038
» Embedded Systems
Sort
View
COMPSAC
2008
IEEE
16 years 1 months ago
Embedded Architecture Description Language
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...
Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang ...
SEUS
2008
IEEE
16 years 28 days ago
Model Based Synthesis of Embedded Software
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
Daniel D. Gajski, Samar Abdi, Ines Viskic
GIS
1999
ACM
15 years 10 months ago
Integrating GPS Data Within Embedded Internet GIS
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
Arunas Stockus, Alain Bouju, Frédéri...
RTCSA
2008
IEEE
16 years 28 days ago
A Framework for Designing Embedded Real-Time Controllers
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
Yifan Wu, Enrico Bini, Giorgio C. Buttazzo
SDL
2007
192views Hardware» more  SDL 2007»
15 years 8 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong