Sciweavers

777 search results - page 79 / 156
» An Approach to Improving Existing Measurement Frameworks
Sort
View
ICCAD
2006
IEEE
180views Hardware» more  ICCAD 2006»
14 years 5 months ago
A bitmask-based code compression technique for embedded systems
Embedded systems are constrained by the available memory. Code compression techniques address this issue by reducing the code size of application programs. Dictionary-based code c...
Seok-Won Seong, Prabhat Mishra
ESORICS
2007
Springer
14 years 4 days ago
Efficient Proving for Practical Distributed Access-Control Systems
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
Lujo Bauer, Scott Garriss, Michael K. Reiter
ICIP
2005
IEEE
14 years 10 months ago
Active contours on statistical manifolds and texture segmentation
A new approach to active contours on statistical manifolds is presented. The statistical manifolds are 2dimensional Riemannian manifolds that are statistically defined by maps that...
Sang-Mook Lee, A. Lynn Abbott, Neil A. Clark, Phil...
DASFAA
2009
IEEE
203views Database» more  DASFAA 2009»
14 years 3 months ago
Adaptive Safe Regions for Continuous Spatial Queries over Moving Objects
Abstract. Continuous spatial queries retrieve a set of time-varying objects continuously during a given period of time. However, monitoring moving objects to maintain the correctne...
Yu-Ling Hsueh, Roger Zimmermann, Wei-Shinn Ku
DATE
2006
IEEE
78views Hardware» more  DATE 2006»
14 years 2 months ago
STAX: statistical crosstalk target set compaction
This paper presents STAX, a crosstalk target set compaction framework to reduce the complexity of the crosstalk ATPG process by pruning non-fault-producing targets. In general, ex...
Shahin Nazarian, Massoud Pedram, Sandeep K. Gupta,...