Sciweavers

2887 search results - page 60 / 578
» Name Generation and Linearity
Sort
View
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
15 years 11 months ago
Linear and nonlinear macromodels for power/signal integrity
— In this paper, a systematic methodology for the assessment of Power/Signal Integrity effects in high-speed communication and information systems is presented. The proposed meth...
Stefano Grivet-Talocia, Igor S. Stievano, Ivan A. ...
ICML
2010
IEEE
15 years 7 months ago
Finding Planted Partitions in Nearly Linear Time using Arrested Spectral Clustering
We describe an algorithm for clustering using a similarity graph. The algorithm (a) runs in O(n log3 n + m log n) time on graphs with n vertices and m edges, and (b) with high pro...
Nader H. Bshouty, Philip M. Long
CAV
2009
Springer
164views Hardware» more  CAV 2009»
16 years 6 months ago
InvGen: An Efficient Invariant Generator
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
Ashutosh Gupta, Andrey Rybalchenko
SACRYPT
2000
Springer
15 years 9 months ago
LILI Keystream Generator
The LILI-128 keystream generator is a LFSR based synchronous stream cipher with a 128 bit key. The design offers large period and linear complexity, and is resistant to currently ...
Leonie Ruth Simpson, Ed Dawson, Jovan Dj. Golic, W...
QNS
1996
15 years 7 months ago
Case studies on the development of ScaLAPACK and the NAG Numerical PVM Library
In this paper we look at the developmentof ScaLAPACK, a software library for dense and banded numerical linear algebra, and the NAG Numerical PVM Library, which includes software ...
Jack Dongarra, Sven Hammarling, Antoine Petitet