2255 search results - page 202 / 451 » High Assurance Software Systems |
198
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
In this paper, we present a case study for the design, programming and usage of a reconfigurable system-on-chip, MorphoSys, which is targeted at computation-intensive applications...
169
click to vote
ETFA
2008
IEEE
16 years 28 days ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
159
click to vote
DDECS
2007
IEEE
16 years 25 days ago
2007
IEEE
– The implementation and the fault simulation technique for the highly reliable digital design using two FPGAs under a processor control is presented. Two FPGAs are used for dupl...
187
click to vote
ISORC
2005
IEEE
16 years 2 days ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
149
click to vote
ECRA
2007
15 years 6 months ago
2007
Micro-payment systems have become popular in recent times as the desire to support low-value, high-volume transactions of text, music, clip-art, video and other media has increase...