Sciweavers

6274 search results - page 772 / 1255
» Proofs, Programs, Processes
Sort
View
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
16 years 3 months ago
Design optimization for single-event upset robustness using simultaneous dual-VDD and sizing techniques
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...
Mihir R. Choudhury, Quming Zhou, Kartik Mohanram
HICSS
2009
IEEE
127views Biometrics» more  HICSS 2009»
16 years 1 months ago
An Optimization Model for Tactical Planning of Wood Procurement
This paper presents a new LP (Linear Programming) model to solve a tactical wood procurement and harvesting problem. This optimization problem occurs in several wood supply chains...
Anders Skjäl, Kaj-Mikael Björk, Jenny &O...
IFITA
2009
IEEE
16 years 1 months ago
The Effect of Open Market Repurchase on Company's Value
This paper investigates on nine listed Companies in Shanghai and Shenzhen stock markets that have implemented the Open Market Repurchase (OMR) program. In this research, the event ...
Fengju Xu, Feng Wang
IWPC
2009
IEEE
16 years 1 months ago
Variable granularity for improving precision of impact analysis
Impact analysis is a specialized process of program comprehension that investigates the nature and extent of a planned software change. Traditionally, impact analysis inspects dep...
Maksym Petrenko, Václav Rajlich
ER
2009
Springer
166views Database» more  ER 2009»
16 years 1 months ago
A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
Golnaz Elahi, Eric S. K. Yu, Nicola Zannone