Sciweavers

3105 search results - page 498 / 621
» The Path-Packing Structure of Graphs
Sort
View
CSMR
2002
IEEE
15 years 11 months ago
Combining Static and Dynamic Views for Architecture Reconstruction
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
Claudio Riva, Jordi Vidal Rodríguez
DNA
2001
Springer
125views Bioinformatics» more  DNA 2001»
15 years 11 months ago
PNA-mediated Whiplash PCR
The directed evolution of proteins, using an in vitro domainal shuffling strategy was proposed in (J. Kolkman and W. Stemmer, Nat. Biotech. 19, 423 (2001). Due to backhybridization...
John A. Rose, Russell J. Deaton, Masami Hagiya, Ak...
LICS
2000
IEEE
15 years 10 months ago
Virtual Symmetry Reduction
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
E. Allen Emerson, John Havlicek, Richard J. Trefle...
SIGMOD
1998
ACM
150views Database» more  SIGMOD 1998»
15 years 10 months ago
Extracting Schema from Semistructured Data
Semistructured data is characterized by the lack of any fixed and rigid schema, although typically the data hassomeimplicitstructure. While thelack offixedschemamakesextracting ...
Svetlozar Nestorov, Serge Abiteboul, Rajeev Motwan...
SPAA
1998
ACM
15 years 10 months ago
Elimination Forest Guided 2D Sparse LU Factorization
Sparse LU factorization with partial pivoting is important for many scienti c applications and delivering high performance for this problem is di cult on distributed memory machin...
Kai Shen, Xiangmin Jiao, Tao Yang