Sciweavers

5591 search results - page 917 / 1119
» Design patterns: between programming and software design
Sort
View
157
Voted
MM
2004
ACM
244views Multimedia» more  MM 2004»
15 years 10 months ago
Automatic replay generation for soccer video broadcasting
While most current approaches for sports video analysis are based on broadcast video, in this paper, we present a novel approach for highlight detection and automatic replay gener...
Jinjun Wang, Changsheng Xu, Chng Eng Siong, Kongwa...
ISQED
2003
IEEE
233views Hardware» more  ISQED 2003»
15 years 10 months ago
Active Device under Bond Pad to Save I/O Layout for High-pin-count SOC
To save layout area for electrostatic discharge (ESD) protection design in the SOC era, test chip with large size NMOS devices placed under bond pads has been fabricated in 0.35-Â...
Ming-Dou Ker, Jeng-Jie Peng, Hsin-Chin Jiang
128
Voted
SSD
2001
Springer
122views Database» more  SSD 2001»
15 years 9 months ago
Calendars, Time Granularities, and Automata
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
Ugo Dal Lago, Angelo Montanari
DSN
2007
IEEE
15 years 8 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
164
Voted
CSFW
2009
IEEE
15 years 8 months ago
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo ...