3971 search results - page 492 / 795 » On the Use of Properties in Java Applications |
206
click to vote
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
179
click to vote
EH
2005
IEEE
16 years 26 days ago
2005
IEEE
We present a method for evolving and implementing artificial neural networks (ANNs) on Field Programmable Analog Arrays (FPAAs). These FPAAs offer the small size and low power usa...
214
click to vote
ICDCS
2005
IEEE
16 years 25 days ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
197
click to vote
DSSCV
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Blurring an image with a Gaussian of width σ and considering σ as an extra dimension, extends the image to an Gaussian scale space (GSS) image. In this GSS-image the is...
188
click to vote
HYBRID
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...