Sciweavers

7103 search results - page 893 / 1421
» Program Generation and Components
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 months ago
Improving Web Application Testing with User Session Data
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
Sebastian G. Elbaum, Srikanth Karre, Gregg Rotherm...
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
16 years 1 months ago
On hierarchical statistical static timing analysis
— Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the cor...
Bing Li, Ning Chen, Manuel Schmidt, Walter Schneid...
VR
2009
IEEE
228views Virtual Reality» more  VR 2009»
16 years 1 months ago
Natural Eye Motion Synthesis by Modeling Gaze-Head Coupling
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
Xiaohan Ma, Zhigang Deng
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 1 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
ASPDAC
2009
ACM
262views Hardware» more  ASPDAC 2009»
16 years 1 months ago
Fault modeling and testing of retention flip-flops in low power designs
Low power circuits have become a necessary part in modern designs. Retention flip-flop is one of the most important components in low power designs. Conventional test methodologie...
Bing-Chuan Bai, Augusli Kifli, Chien-Mo James Li, ...