Sciweavers

1541 search results - page 218 / 309
» Dynamic Feedback: An Effective Technique for Adaptive Comput...
Sort
View
87
Voted
HICSS
2005
IEEE
170views Biometrics» more  HICSS 2005»
15 years 6 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
61
Voted
DAC
2006
ACM
16 years 1 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
92
Voted
ICPR
2002
IEEE
16 years 1 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, ...
102
Voted
DATE
2007
IEEE
165views Hardware» more  DATE 2007»
15 years 7 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
93
Voted
CG
2004
Springer
15 years 13 days 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