Sciweavers

2752 search results - page 16 / 551
» Rounding to an Integral Program
Sort
View
SIGADA
1998
Springer
14 years 25 days ago
An ASIS-Based Static Analysis Tool for High-Integrity Systems
William W. Pritchett IV, John D. Riley
IFIP
1991
Springer
14 years 4 days ago
An Intelligent Integrated Interactive CAD-A Preliminary Report
Deyi Xue, Hideaki Takeda, Takashi Kiriyama, Tetsuo...
PPL
2008
77views more  PPL 2008»
13 years 8 months ago
Integrating Remote Invocations with Asynchronism and Cooperative Multitasking
In this paper we argue that it is possible to couple the advantages of programming with the well-known abstraction of RPC with asynchronous programming models adequate for wide-ar...
Noemi de La Rocque Rodriguez, Silvana Rossetto
CONSTRAINTS
2010
193views more  CONSTRAINTS 2010»
13 years 6 months ago
Constraint propagation on quadratic constraints
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...
Ferenc Domes, Arnold Neumaier
INDOCRYPT
2010
Springer
13 years 6 months ago
Algebraic, AIDA/Cube and Side Channel Analysis of KATAN Family of Block Ciphers
Abstract. This paper presents the first results on AIDA/cube, algebraic and sidechannel attacks on variable number of rounds of all members of the KATAN family of block ciphers. Ou...
Gregory V. Bard, Nicolas Courtois, Jorge Nakahara,...