CISE :: Departmental Reports (year: 2005)

Departmental Reports (year: 2005)

Search Departmental Reports

By Author:

By Time:

Keyword search:

Report ID:	REP-2005-366
Title:	Functional Test Generation using SAT-based Bounded Model Checking
Authors:	Heon-Mo Koo; Prabhat Mishra
Posted:	January 1, 2005
Report ID:	REP-2005-365
Title:	SAT-based Combinational Equivalence Checking
Authors:	Zhuo Huang; Prabhat Mishra
Posted:	January 1, 2005
Report ID:	REP-2005-364
Title:	Power-Adaptive Routing Topology for Remote Sensor Networks
Authors:	Ryan Close; Prabhat Mishra
Posted:	January 1, 2005
Report ID:	REP-2005-363
Title:	Peer-to-Peer Assisted Voice Communication using Cell Phones
Authors:	Elias Baaklini; Tarek Kaissi; Prabhat Mishra
Posted:	January 1, 2005
Report ID:	REP-2005-362
Title:	Resolution of complex tissue microarchitecture using the diffusion orientation transform (DOT)
Authors:	Evren Ozarslan; Timothy M. Shepherd; Baba C. Vemuri; Stephen J. Blackband; Thomas Mareci
Posted:	January 1, 2005
Report ID:	REP-2005-361
Title:	Process Integration for the Building Construction Domain: Experiences and Opportunities for Future Research
Authors:	Jungmin Shin; Joachim Hammer; William O'Brien
Posted:	January 1, 2005
Report ID:	REP-2005-360
Title:	Denoising and visualization of HARDI data
Authors:	Timothy McGraw; Evren Ozarslan; Baba C. Vemuri; Yunmei Chen
Posted:	January 1, 2005
Report ID:	REP-2005-359
Title:	THALIA: Test Harness for the Assessment of Legacy Information Integration Approaches
Authors:	Joachim Hammer; Mike Stonebraker; Oguzhan Topsakal
Posted:	January 1, 2005