Sciweavers

1519 search results - page 160 / 304
» What do they think
Sort
View
ITC
1997
IEEE
92views Hardware» more  ITC 1997»
14 years 2 months ago
A Novel Functional Test Generation Method for Processors Using Commercial ATPG
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
Raghuram S. Tupuri, Jacob A. Abraham
SP
1997
IEEE
112views Security Privacy» more  SP 1997»
14 years 2 months ago
Analyzing Consistency of Security Policies
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
Laurence Cholvy, Frédéric Cuppens
ESOP
1990
Springer
14 years 2 months ago
From Interpreting to Compiling Binding Times
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
Charles Consel, Olivier Danvy
CAV
2010
Springer
153views Hardware» more  CAV 2010»
14 years 2 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
HICSS
2009
IEEE
101views Biometrics» more  HICSS 2009»
14 years 2 months ago
An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems
: There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effectiveness. Their intended users t...
Pekka Forselius, Timo Käkölä