Sciweavers

3373 search results - page 321 / 675
» Linear transformations on codes
Sort
View
ICSQP
1994
15 years 5 months ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
Si Pan, R. Geoff Dromey
JGTOOLS
2008
109views more  JGTOOLS 2008»
15 years 4 months ago
Fast Equal-Area Mapping of the (Hemi)Sphere using SIMD
We present a fast vectorized implementation of a transform that maps points in the unit square to the surface of the sphere, while preserving fractional area. The mapping uses the ...
Petrik Clarberg
JLP
2007
98views more  JLP 2007»
15 years 4 months ago
Tempus fugit: How to plug it
Secret or private information may be leaked to an external attacker through the timing behaviour of the system running the untrusted code. After introducing a formalisation of thi...
Alessandra Di Pierro, Chris Hankin, Igor Siveroni,...
AUTOMATICA
2010
103views more  AUTOMATICA 2010»
15 years 4 months ago
Observer forms for perspective systems
: Estimation of 3D position information from 2D images in computer vision systems can be formulated as a state estimation problem for a nonlinear perspective dynamic system. The mu...
Ola Dahl, Yebin Wang, Alan F. Lynch, Anders Heyden
NA
2006
84views more  NA 2006»
15 years 4 months ago
Fast Moreau envelope computation I: numerical algorithms
Abstract. The present article summarizes the state of the art algorithms to compute the discrete Moreau envelope, and presents a new linear-time algorithm, named NEP for NonExpansi...
Yves Lucet