Sciweavers

3007 search results - page 288 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
CCS
2004
ACM
16 years 4 days ago
Attacking and repairing the winZip encryption scheme
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
Tadayoshi Kohno
APSEC
2003
IEEE
16 years 1 days ago
PAORE: Package Oriented Requirements Elicitation
We propose a new requirements elicitation method in such a domain of ERP, CRM, and SCM by using specifications of several existing package software. We have analyzed the requirem...
Junzo Kato, Morio Nagata, Shuichiro Yamamoto, Moto...
DATE
2010
IEEE
121views Hardware» more  DATE 2010»
15 years 12 months ago
Properties of and improvements to time-domain dynamic thermal analysis algorithms
—Temperature has a strong influence on integrated circuit (IC) performance, power consumption, and reliability. However, accurate thermal analysis can impose high computation co...
Xi Chen, Robert P. Dick, Li Shang
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
VLSID
1997
IEEE
98views VLSI» more  VLSID 1997»
15 years 11 months ago
Synthesis for Logical Initializability of Synchronous Finite State Machines
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
Montek Singh, Steven M. Nowick