Sciweavers

1541 search results - page 218 / 309
» Dynamic Feedback: An Effective Technique for Adaptive Comput...
Sort
View
HICSS
2005
IEEE
170views Biometrics» more  HICSS 2005»
14 years 4 months ago
Low-Bandwidth Topology Maintenance for Robustness in Structured Overlay Networks
— Structured peer-to-peer systems have emerged as infrastructures for resource sharing in large-scale, distributed, and dynamic environments. One challenge in these systems is to...
Ali Ghodsi, Luc Onana Alima, Seif Haridi
DAC
2006
ACM
14 years 11 months ago
Optimal jumper insertion for antenna avoidance under ratio upper-bound
Antenna effect may damage gate oxides during plasma-based fabrication process. The antenna ratio of total exposed antenna area to total gate oxide area is directly related to the ...
Jia Wang, Hai Zhou
ICPR
2002
IEEE
14 years 11 months ago
On the Preview of Digital Movies
In this paper, a new technique is proposed for the automatic generation of a preview sequence of a feature film. The input video is decomposed into a number of basic components ca...
Liang-Hua Chen, Chih-Wen Su, Hong-Yuan Mark Liao, ...
DATE
2007
IEEE
165views Hardware» more  DATE 2007»
14 years 5 months ago
Boosting the role of inductive invariants in model checking
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
CG
2004
Springer
13 years 10 months ago
Hierarchical graph maps
nd maps are powerful abstractions. Their combination, Hierarchical Graph Maps, provide effective tools to process a graph that is too large to fit on the screen. They provide hier...
James Abello