Sciweavers

2195 search results - page 57 / 439
» Prototyping Networked Embedded Systems
Sort
View
RTAS
2009
IEEE
15 years 4 months ago
Modeling and Analysis of Multi-hop Control Networks
Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johan...
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 2 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
EMSOFT
2003
Springer
15 years 3 months ago
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...
Joseph P. Loyall
EMSOFT
2005
Springer
15 years 3 months ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
COMPSAC
2009
IEEE
15 years 4 months ago
ESIDE: An Integrated Development Environment for Component-Based Embedded Systems
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
Nicholas T. Pilkington, Juncao Li, Fei Xie