Sciweavers

2226 search results - page 27 / 446
» Scalable Trigger Processing
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 4 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
RTCSA
2005
IEEE
15 years 3 months ago
Distributed Real-Time Processing for Humanoid Robots
— In order for humanoid robots to perform skillful tasks, a reliable and scalable computing system that supports hard real-time processing is required. This paper describes a fiv...
Toshihiro Matsui, Hirohisa Hirukawa, Yutaka Ishika...
ICIP
2006
IEEE
15 years 11 months ago
Overview of the Scalable H.264/MPEG4-AVC Extension
The scalable extension of H.264/MPEG4-AVC is a current standardization project of the Joint Video Team (JVT) of the ITU-T Video Coding Experts Group (VCEG) and the ISO/IEC Moving ...
Heiko Schwarz, Detlev Marpe, Thomas Wiegand
DATE
2008
IEEE
100views Hardware» more  DATE 2008»
15 years 4 months ago
Towards Trojan-Free Trusted ICs: Problem Analysis and Detection Scheme
There have been serious concerns recently about the security of microchips from hardware trojan horse insertion during manufacturing. This issue has been raised recently due to ou...
Francis G. Wolff, Christos A. Papachristou, Swarup...
TON
2008
100views more  TON 2008»
14 years 9 months ago
Impact of hot-potato routing changes in IP networks
Abstract-- Despite the architectural separation between intradomain and interdomain routing in the Internet, intradomain protocols do influence the path-selection process in the Bo...
Renata Teixeira, Aman Shaikh, Timothy G. Griffin, ...