Results for:
"
R.+Austin+Freeman
" in Documents
- PKorat: Parallel Generation of Structurally Complex Test Inputs
- Abstract Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java programs. Given...
-
Rating:
Views: (2007)
Pages: (0)
Uploaded: Publication Date: 1-4 April 2009
- On the Capacity of One-Sided Two User Gaussian Fading Broadcast Channe...
- Abstract In this paper, we investigate upper and lower bounds on the capacity of two-user fading broadcast channels where one of the users has a constant (non-fading) channel. We use the Costa entrop...
-
Rating:
Views: (2002)
Pages: (0)
Uploaded: Publication Date: Nov. 30 2008-Dec. 4 2008
- ROCC: A Communication Overlay Abstraction for Wireless Users
- Abstract As wireless devices become more popular, the potential for new collaborative applications has emerged. For example, a group of coworkers can opportunistically come together and share project...
-
Rating:
Views: (2001)
Pages: (0)
Uploaded: Publication Date: 17-20 June 2008
- Some work in progress at IBM’s Austin Research Lab
- Abstract Summary form only given. Power-related research activities at IBM's Austin Research Lab (ARL) include low power circuitry, power-efficient microprocessor designs, and server systems power me...
-
Rating:
Views: (2005)
Pages: (0)
Uploaded: Publication Date: 17-20 Sept. 2007
- Immersion lithography for laser mask writing
- Abstract The viability of fluid management in immersion lithography for laser mask writing is demonstrated. The so-called "drag-a-drop" method is proposed, where a droplet of fluid is held between th...
-
Rating:
Views: (2007)
Pages: (0)
Uploaded: Publication Date: Nov 2006
- Immersion lithography for laser mask writing
- Abstract The viability of fluid management in immersion lithography for laser mask writing is demonstrated. The so-called "drag-a-drop" method is proposed, where a droplet of fluid is held between th...
-
Rating:
Views: (2006)
Pages: (0)
Uploaded: Publication Date: Nov 2006
- Vertical flash memory with protein-mediated assembly of nanocrystal fl...
- Abstract The authors propose and demonstrate a vertical flash memory device incorporating protein-mediated ordering of nanocrystal floating gate to help circumvent density scaling and/or performance ...
-
Rating:
Views: (2007)
Pages: (0)
Uploaded: Publication Date: Mar 2007
- Molecular dynamics simulation of thermal transport at a nanometer scal...
- Abstract To better understand thermal transport at nanoscale point contacts such as the tip-sample contact of a scanning probe microscope and at the contact between a nanotube and a planar surface, w...
-
Rating:
Views: (2009)
Pages: (0)
Uploaded: Publication Date: Apr 2007