Sciweavers

1099 search results - page 84 / 220
» Time management for new faculty
Sort
View
USENIX
2004
13 years 11 months ago
High Performance X Servers in the Kdrive Architecture
The common usage patterns of 2D drivers for the X Window System have changed over time. New extensions such as Render and Composite are creating new demands for 2D rendering which...
Eric Anholt
PSTV
1993
123views Hardware» more  PSTV 1993»
13 years 11 months ago
On the Verification of Temporal Properties
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
Patrice Godefroid, Gerard J. Holzmann
EUC
2005
Springer
14 years 3 months ago
Evaluation of Space Allocation Circuits
This paper describes the design and evaluation of the PCA (Plastic Cell Architecture) cell, which implements a novel space allocation method. PCA is a dynamically reconfigurable a...
Shinya Kyusaka, Hayato Higuchi, Taichi Nagamoto, Y...
WSC
2007
14 years 17 days ago
An analysis of tool capabilities in the photolithography area of an ASIC fab
Photolithography is generally regarded as the most constraining element in semiconductor manufacturing. This is primarily attributable to the high capital investment and extensive...
P. J. Byrne, Cathal Heavey, Kamil Erkan Kabak
CAINE
2004
13 years 11 months ago
Adjusting Web Caching Computers to Reduce Communication Channel Allocation
On the Internet, it is common practice to use a computer to provide web caching services. Such services aim to reduce network utilization and improve access time to a web page. Li...
R. Zuck, A. Williams, B. Kair, H. Bui, Catherine S...