2007 |
57 | EE | Young-In Shin,
Donald S. Fussell:
Parametric Kernels for Sequence Data Analysis.
IJCAI 2007: 1047-1052 |
2002 |
56 | | Rajarshi Mukherjee,
Jawahar Jain,
Koichiro Takayama,
Jacob A. Abraham,
Donald S. Fussell,
Masahiro Fujita:
Efficient Combinational Verification Using Overlapping Local BDDs and a Hash Table.
Formal Methods in System Design 21(1): 95-101 (2002) |
55 | EE | Wei Xu,
Richard Hammersley,
Karen Lu,
Donald S. Fussell:
Lossless Subdivision-Based Multiresolution Representation of Arbitrary Triangle Meshes Using Kite Trees.
Int. J. Found. Comput. Sci. 13(2): 243-260 (2002) |
1999 |
54 | EE | Rajarshi Mukherjee,
Jawahar Jain,
Koichiro Takayama,
Masahiro Fujita,
Jacob A. Abraham,
Donald S. Fussell:
An Efficient Filter-Based Approach for Combinational Verification.
DATE 1999: 132-137 |
53 | EE | Rajarshi Mukherjee,
Jawahar Jain,
Koichiro Takayama,
Masahiro Fujita,
Jacob A. Abraham,
Donald S. Fussell:
An efficient filter-based approach for combinational verification.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(11): 1542-1557 (1999) |
1998 |
52 | | Emilio Camahort,
Apostolos Lerios,
Donald S. Fussell:
Uniformly Sampled Light Fields.
Rendering Techniques 1998: 117-130 |
1997 |
51 | EE | Priyadarsan Patra,
Stanislav Polonsky,
Donald S. Fussell:
Delay Insensitive Logic for RSFQ Superconductor Technology.
ASYNC 1997: 42-53 |
50 | | Charles Wiley,
A. T. Campbell III,
Stephen A. Szygenda,
Donald S. Fussell,
Fred Hudson:
Multiresolution BSP Trees Applied to Terrain, Transparency, and General Objects.
Graphics Interface 1997: 88-96 |
49 | | Dana Marshall,
Donald S. Fussell,
A. T. Campbell III:
Multiresolution Rendering of Complex Botanical Scenes.
Graphics Interface 1997: 97-104 |
48 | EE | Jihun Park,
Donald S. Fussell:
Forward dynamics based realistic animation of rigid bodies.
Computers & Graphics 21(4): 483-496 (1997) |
47 | | Jawahar Jain,
James R. Bitner,
Magdy S. Abadir,
Jacob A. Abraham,
Donald S. Fussell:
Indexed BDDs: Algorithmic Advances in Techniques to Represent and Verify Boolean Functions.
IEEE Trans. Computers 46(11): 1230-1245 (1997) |
46 | EE | Yatin Vasant Hoskote,
Jacob A. Abraham,
Donald S. Fussell,
John Moondanos:
Automatic verification of implementations of large circuits against HDL specifications.
IEEE Trans. on CAD of Integrated Circuits and Systems 16(3): 217-228 (1997) |
1996 |
45 | EE | Priyadarsan Patra,
Donald S. Fussell:
Efficient Delay-Insensitive RSFQ Circuits.
ICCD 1996: 413-418 |
44 | EE | Rajarshi Mukherjee,
Jawahar Jain,
Masahiro Fujita,
Jacob A. Abraham,
Donald S. Fussell:
On More Efficient Combinational ATPG Using Functional Learning.
VLSI Design 1996: 107-110 |
43 | EE | Glenn G. Lai,
Donald S. Fussell,
Martin D. F. Wong:
Hinted quad trees for VLSI geometry DRC based on efficient searching for neighbors.
IEEE Trans. on CAD of Integrated Circuits and Systems 15(3): 317-324 (1996) |
1995 |
42 | EE | Yatin Vasant Hoskote,
Jacob A. Abraham,
Donald S. Fussell:
Automated verification of temporal properties specified as state machines in VHDL.
Great Lakes Symposium on VLSI 1995: 100-105 |
41 | EE | John Bunda,
Donald S. Fussell,
William C. Athas:
Energy-efficient instruction set architecture for CMOS microprocessors.
HICSS (1) 1995: 298-305 |
40 | EE | Priyadarsan Patra,
Donald S. Fussell:
Power-efficient delay-insensitive codes for data transmission.
HICSS (1) 1995: 316-323 |
39 | EE | Priyadarsan Patra,
Donald S. Fussell:
Fully asynchronous, robust, high-throughput arithmetic structures.
VLSI Design 1995: 141-145 |
38 | EE | Jawahar Jain,
Dinos Moundanos,
James R. Bitner,
Jacob A. Abraham,
Donald S. Fussell,
Don E. Ross:
Efficient variable ordering and partial representation algorithm.
VLSI Design 1995: 81-86 |
1994 |
37 | | James R. Bitner,
Jawahar Jain,
Magdy S. Abadir,
Jacob A. Abraham,
Donald S. Fussell:
Efficient Algorithmic Circuit Verification Using Indexed BDDs.
FTCS 1994: 266-275 |
36 | | Yatin Vasant Hoskote,
John Moondanos,
Jacob A. Abraham,
Donald S. Fussell:
Verification of Circuits Described in VHDL through Extraction of Design Intent.
VLSI Design 1994: 417-420 |
35 | | Sampath Rangarajan,
Donald S. Fussell,
Miroslaw Malek:
Pipelined Diagnosis of Wafer-Scale Linear Arrays.
J. Parallel Distrib. Comput. 20(2): 212-223 (1994) |
1993 |
34 | EE | Glenn G. Lai,
Donald S. Fussell,
D. F. Wong:
HV/VH Trees: A New Spatial Data Structure for Fast Region Queries.
DAC 1993: 43-47 |
33 | | John Bunda,
Donald S. Fussell,
Roy M. Jenevein,
William C. Athas:
16-Bit vs. 32-Bit Instructions for Pipelined Microprocessors.
ISCA 1993: 237-246 |
32 | | Robert L. Read,
Donald S. Fussell,
Abraham Silberschatz:
System-Wide Multiresolution.
NGITS 1993: 0- |
31 | | Donald S. Fussell,
Vijaya Ramachandran,
Ramakrishna Thurimella:
Finding Triconnected Components by Local Replacement.
SIAM J. Comput. 22(3): 587-616 (1993) |
1992 |
30 | EE | Robert L. Read,
Donald S. Fussell,
Abraham Silberschatz:
A Multi-Resolution Relational Data Model.
VLDB 1992: 139-150 |
29 | | Jawahar Jain,
Jacob A. Abraham,
James R. Bitner,
Donald S. Fussell:
Probabilistic Verification of Boolean Functions.
Formal Methods in System Design 1(1): 61-115 (1992) |
28 | | Sampath Rangarajan,
Donald S. Fussell:
Diagnosing Arbitrarily Connected Parallel Computers with High Probability.
IEEE Trans. Computers 41(5): 606-615 (1992) |
27 | EE | Shinichiro Haruyama,
Martin D. F. Wong,
Donald S. Fussell:
Topological channel routing [VLSI].
IEEE Trans. on CAD of Integrated Circuits and Systems 11(10): 1177-1197 (1992) |
1991 |
26 | | Sampath Rangarajan,
Donald S. Fussell:
Probabilistic Diagnosis Algorithms Tailored to System Topology.
FTCS 1991: 230-239 |
25 | | Jawahar Jain,
Jim Bitner,
Donald S. Fussell,
Jacob A. Abraham:
Probabilistic Design Verification.
ICCAD 1991: 468-471 |
24 | EE | Sampath Rangarajan,
Donald S. Fussell:
Rectifying corrupted files in distributed file systems.
ICDCS 1991: 446-453 |
23 | | Won Woo Park,
Donald S. Fussell,
Roy M. Jenevein:
Performance Advantages of Multithreaded Processors.
ICPP (1) 1991: 97-101 |
1990 |
22 | | Shinichiro Haruyama,
D. F. Wong,
Donald S. Fussell:
Topological Routing Using Geometric Information.
ICCAD 1990: 6-9 |
21 | | Kalpathi R. Subramanian,
Donald S. Fussell:
Applying Space Subdivision Techniques to Volume Rendering.
IEEE Visualization 1990: 150-159 |
20 | EE | A. T. Campbell III,
Donald S. Fussell:
Adaptive mesh generation for global diffuse illumination.
SIGGRAPH 1990: 155-164 |
19 | | Sampath Rangarajan,
Donald S. Fussell,
Miroslaw Malek:
Built-In Testing of Integrated Circuit Wafers.
IEEE Trans. Computers 39(2): 195-205 (1990) |
18 | | Donald S. Fussell,
Ramakrishna Thurimella:
Successive Approximation in Parallel Graph Algorithms.
Theor. Comput. Sci. 74(1): 19-35 (1990) |
1989 |
17 | | Donald S. Fussell,
Vijaya Ramachandran,
Ramakrishna Thurimella:
Finding Triconnected Components by Local Replacements.
ICALP 1989: 379-393 |
16 | EE | Chris Buchalew,
Donald S. Fussell:
Illumination networks: fast realistic rendering with general reflectance functions.
SIGGRAPH 1989: 89-98 |
15 | | Donald S. Fussell,
Ramakrishna Thurimella:
Successive Approximation in Parallel Graph Algorithms.
STACS 1989: 205-217 |
1988 |
14 | | Donald S. Fussell,
Ramakrishna Thurimella:
Separation Pair Detection.
AWOC 1988: 149-159 |
13 | EE | Alain Fournier,
Donald S. Fussell:
On the power of the frame buffer.
ACM Trans. Graph. 7(2): 103-128 (1988) |
1986 |
12 | | I. V. Ramakrishnan,
Donald S. Fussell,
Abraham Silberschatz:
Mapping Homogeneous Graphs on Linear Arrays.
IEEE Trans. Computers 35(3): 189-209 (1986) |
1985 |
11 | | C. Mohan,
Donald S. Fussell,
Zvi M. Kedem,
Abraham Silberschatz:
Lock Conversion in Non-Two-Phase Locking Protocols.
IEEE Trans. Software Eng. 11(1): 15-22 (1985) |
1984 |
10 | | Peter J. Varman,
I. V. Ramakrishnan,
Donald S. Fussell:
A Robust Matrix-Multiplication Array.
IEEE Trans. Computers 33(10): 919-922 (1984) |
9 | | C. Mohan,
Donald S. Fussell,
Abraham Silberschatz:
Compatibility and Commutativity of Lock Modes
Information and Control 61(1): 38-64 (1984) |
1983 |
8 | | I. V. Ramakrishnan,
Donald S. Fussell,
Abraham Silberschatz:
On Mapping Homogeneous Graphs on a Linear Array-Processor Model.
ICPP 1983: 440-447 |
7 | | Peter J. Varman,
Donald S. Fussell:
Design of Robust Systolic Algorithms.
ICPP 1983: 458-460 |
1982 |
6 | EE | Donald S. Fussell,
Peter J. Varman:
Fault-tolerant wafer-scale architectures for VLSI.
ISCA 1982: 190-198 |
5 | | C. Mohan,
Donald S. Fussell,
Abraham Silberschatz:
A Biased Non-Two-Phase Locking Protocol.
JCDKB 1982: 337-361 |
4 | EE | C. Mohan,
Donald S. Fussell,
Abraham Silberschatz:
Compatibility and Commutativity in Non-two-phase Locking Protocols.
PODS 1982: 283-292 |
3 | | Alain Fournier,
Donald S. Fussell,
Loren C. Carpenter:
Computer Rendering of Stochastic Models.
Commun. ACM 25(6): 371-384 (1982) |
1981 |
2 | EE | Donald S. Fussell,
Zvi M. Kedem,
Abraham Silberschatz:
Deadlock Removal Using Partial Rollback in Database Systems.
SIGMOD Conference 1981: 65-73 |
1 | EE | Donald S. Fussell,
Zvi M. Kedem,
Abraham Silberschatz:
A Theory of Correct Locking Protocols for Database Systems
VLDB 1981: 112-124 |