Sciweavers

9316 search results - page 363 / 1864
» Analysis of traceback techniques
Sort
View
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 8 months ago
Application of Formal Word-Level Analysis to Constrained Random Simulation
Abstract. Constrained random simulation is supported by constraint solvers integrated within simulators. These constraint solvers need to be fast and memory efficient to maintain s...
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spac...
EDM
2008
93views Data Mining» more  EDM 2008»
15 years 8 months ago
A Preliminary Analysis of the Logged Questions that Students Ask in Introductory Computer Science
Asking questions is widely believed to contribute to student learning, but little is known about the questions that students ask or how to exploit them in tutorial interventions to...
Cecily Heiner
CIC
2006
103views Communications» more  CIC 2006»
15 years 8 months ago
Performance Analysis of Punctured Turbo Code under An AWGN Channel
Turbo code is a coding technique that enhances a reliable data transmission. Because of special structure of encoder and iterative decoder, it could obtain 1dB at low EbN0 db that...
Ya-Fen Chen, Cheng-Ying Yang
FMOODS
2006
15 years 8 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
ICIS
2004
15 years 8 months ago
A Factor and Structural Equation Analysis of the Enterprise Systems Success Measurement Model
Enterprise systems entail complex organizational interventions. Accurately gauging the impact of any complex information system requires understanding its multidimensionality, and...
Darshana Sedera, Guy G. Gable