5900 search results - page 385 / 1180 » Dependable Systems |
154
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
A technique is presented which allows an FPGAbased reconfigurable System-on-Chip to automatically and dynamically load hardware peripheral controllers and software device drivers ...
196
click to vote
PRDC
2000
IEEE
15 years 10 months ago
2000
IEEE
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...
161
click to vote
SC
1990
ACM
15 years 10 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
185
Voted
CSFW
2006
IEEE
16 years 24 days ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
173
click to vote
IANDC
2006
15 years 6 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...