Sciweavers

1368 search results - page 38 / 274
» Data Engineering for the Analysis of Semiconductor Manufactu...
Sort
View
ENTCS
2002
72views more  ENTCS 2002»
13 years 7 months ago
A Symbolic Out-of-Core Solution Method for Markov Models
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...
Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norma...
CASES
2009
ACM
14 years 10 days ago
Side channel analysis of AVR XMEGA crypto engine
AVR XMEGA is the recent general-purpose 8-bit microcontroller from Atmel featuring symmetric crypto engines. We analyze the resistance of XMEGA crypto engines to side channel atta...
Ilya Kizhvatov
DAS
2006
Springer
13 years 11 months ago
Exploratory Analysis System for Semi-structured Engineering Logs
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
Michael Flaster, Bruce Hillyer, Tin Kam Ho
WINE
2005
Springer
143views Economy» more  WINE 2005»
14 years 1 months ago
An Analysis of Search Engine Switching Behavior Using Click Streams
In this paper, we propose a simple framework to characterize the switching behavior between search engines based on click streams. We segment users into a number of categories bas...
Yun-Fang Juan, Chi-Chao Chang
COMPSAC
2010
IEEE
13 years 5 months ago
An Analysis of Tool-Based Research in Software Engineering
Many research approaches in software engineering propose models or extensions to existing models. This includes system models, such as UML models, and project management artifacts,...
Jonas Helming, Maximilian Koegel, Hoda Naguib, Mir...