Sciweavers

4536 search results - page 660 / 908
» Contention-Sensitive Data Structures and Algorithms
Sort
View
RTA
2005
Springer
16 years 3 days ago
Proof-Producing Congruence Closure
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
Robert Nieuwenhuis, Albert Oliveras
VISUALIZATION
2003
IEEE
15 years 12 months ago
Chameleon: An interactive texture-based rendering framework for visualizing three-dimensional vector fields
In this paper we present an interactive texture-based technique for visualizing three-dimensional vector fields. The goal of the algorithm is to provide a general volume renderin...
Guo-Shi Li, Udeepta Bordoloi, Han-Wei Shen
COCOON
2001
Springer
15 years 11 months ago
PC-Trees vs. PQ-Trees
A data structure called PC-tree is introduced as a generalization of PQ-trees. PC-trees were originally introduced in a planarity test of Shih and Hsu [7] where they represent par...
Wen-Lian Hsu
SIGSOFT
1994
ACM
15 years 10 months ago
Speeding up Slicing
Program slicing is a fundamental operation for many software engineering tools. Currently, the most efficient algorithm for interprocedural slicing is one that uses a program repr...
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genev...
ISAAC
1992
Springer
125views Algorithms» more  ISAAC 1992»
15 years 10 months ago
A Simple Test for the Consecutive Ones Property
A (0,1)-matrix satisfies the consecutive ones property if there exists a column permutation such that the ones in each row of the resulting matrix are consecutive. Booth and Lueke...
Wen-Lian Hsu