Sciweavers

2432 search results - page 146 / 487
» Degrees and choice numbers
Sort
View
ICALP
2004
Springer
15 years 11 months ago
A Note on Karr's Algorithm
We give a simple formulation of Karr’s algorithm for computing all affine relationships in affine programs. This simplified algorithm runs in time O(nk3 ) where n is the progr...
Markus Müller-Olm, Helmut Seidl
ISAAC
2001
Springer
116views Algorithms» more  ISAAC 2001»
15 years 10 months ago
On-Line Multicasting in All-Optical Networks
We consider the routing for a special type of communication requests, called a multicast, consisting of a fixed source and a multiset of destinations in a wavelength division mult...
Kenta Hashimoto, Toshinori Yamada, Shuichi Ueno
FOCS
1998
IEEE
15 years 10 months ago
Unsatisfiable Systems of Equations, Over a Finite Field
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
Alan R. Woods
ICCAD
1996
IEEE
144views Hardware» more  ICCAD 1996»
15 years 10 months ago
Validation coverage analysis for complex digital designs
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
Richard C. Ho, Mark Horowitz
CSB
2004
IEEE
125views Bioinformatics» more  CSB 2004»
15 years 10 months ago
Gene Length and Alternative Transcription in Fruit Fly
Alternative transcription, in which a single gene may give rise to multiple variant mRNA forms, is widely recognized as an important source of protein diversity in complex, eukary...
Boris Budagyan, Ann E. Loraine