2452 search results - page 247 / 491 » On Reduction of Lagrange Systems |
235
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Most of today’s event driven software (EDS) systems are tested using test cases that are carefully constructed as sequences of events; they test the execution of an event in the...
165
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
147
click to vote
FCCM
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
138
click to vote
ASIACRYPT
2007
Springer
16 years 23 days ago
2007
Springer
ersion of an extended abstract to be published in Advances in Cryptology—ASIACRYPT 2007, Springer-Verlag, 2007. Available online from: http://www.cs.stanford.edu/∼xb/asiacrypt0...
163
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...