Sciweavers

509 search results - page 44 / 102
» Preserving Properties Under Change
Sort
View
ERSA
2004
86views Hardware» more  ERSA 2004»
13 years 10 months ago
Incremental Timing Budget Management in Programmable Systems
Delay budget is an excess delay that each component of a design can tolerate under a given timing constraint. Delay budgeting has been widely exploited to improve the design quali...
Elaheh Bozorgzadeh, Soheil Ghiasi, Atsushi Takahas...
IMAGING
2003
13 years 10 months ago
Illuminant and Device Invariance Using Histogram Equalisation
In this paper we propose a new device and illumination invariant image representation based on an existing greyscale image enhancement technique: histogram equalisation. Our metho...
Graham D. Finlayson, Steven D. Hordley, Gerald Sch...
SMI
2008
IEEE
101views Image Analysis» more  SMI 2008»
14 years 3 months ago
Fairing wireframes in industrial surface design
Wireframe is a modeling tool widely used in industrial geometric design. The term wireframe refers to two sets of curves, with the property that each curve from one set intersects...
Yu-Kun Lai, Yong-Jin Liu, Yu Zang, Shi-Min Hu
SUTC
2006
IEEE
14 years 2 months ago
Schedules with Minimized Access Latency for Disseminating Dependent Information on Multiple Channels
In wireless mobile environments, data broadcasting is an effective approach to disseminate information to mobile clients. In some applications, the access pattern of all the data...
Kun-Feng Lin, Chuan-Ming Liu
CSFW
2005
IEEE
14 years 2 months ago
A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
Michael Backes, Markus Dürmuth