Sciweavers

1368 search results - page 34 / 274
» Data Engineering for the Analysis of Semiconductor Manufactu...
Sort
View
ICSEA
2006
IEEE
14 years 1 months ago
Assessing Impacts of Changes to Business Rules through Data Exploration
The benefits of impact analysis in the maintenance and evolution of software systems are well known, and many forms of impact analysis, over different software life cycle objects...
Suzanne M. Embury, David Willmor, Lei Dang
VMCAI
2005
Springer
14 years 1 months ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
DAC
2009
ACM
14 years 8 months ago
Spectral techniques for high-resolution thermal characterization with limited sensor data
Elevated chip temperatures are true limiters to the scalability of computing systems. Excessive runtime thermal variations compromise the performance and reliability of integrated...
Ryan Cochran, Sherief Reda
IJSEKE
2011
141views more  IJSEKE 2011»
12 years 11 months ago
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
Stefan Biffl, Thomas Moser, Dietmar Winkler
IOLTS
2006
IEEE
68views Hardware» more  IOLTS 2006»
14 years 1 months ago
Power Attacks on Secure Hardware Based on Early Propagation of Data
The early propagation effect found in many logic gates is a potential source of data-dependent power consumption. We show that the effect and the corresponding power dependency ca...
Konrad J. Kulikowski, Mark G. Karpovsky, Alexander...