410 search results - page 45 / 82 » Interval Arithmetic and Standardization |
SAFECOMP
1998
Springer
1998
Springer
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
13 years 12 months ago
By-wire systems have been established for several years in the area of aircraft construction and there are now approaches to utilize this technology in vehicles. The required elect...
APVIS
2001
13 years 9 months ago
2001
An overview of previous approaches to the visualisation of uncertainty is presented making the distinction between verity visualisation, where the uncertainty information is an in...
MOC
2000
13 years 7 months ago
2000
We treat the time discretization of an initial-value problem for a ous abstract parabolic equation by first using a representation of the solution as an integral along the boundary...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
Logic synthesis has made impressive progress in the last decade and has pervaded digital design replacing almost universally manual techniques. A remarkable exception is computer ...
SDM
2008
SIAM
13 years 9 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...