1784 search results - page 151 / 357 » Formal Models for Embedded System Design |
81
Voted
ENTCS
2008
14 years 10 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
80
Voted
DAC
2002
ACM
15 years 11 months ago
2002
ACM
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
IPPS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents experimental results for a parallel pipeline STAP system with I/O task implementation using the parallel file systems on the Intel Paragon and the IBM SP. In ...
106
click to vote
STEP
2003
IEEE
15 years 3 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
CODES
1996
IEEE
15 years 2 months ago
1996
IEEE
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...