Sciweavers

807 search results - page 87 / 162
» Competition Adds Complexity
Sort
View
CAGD
2005
94views more  CAGD 2005»
14 years 9 months ago
Area preserving deformation of multiresolution curves
We describe a method for multiresolution deformation of closed planar curves that keeps the enclosed area constant. We use a wavelet based multiresolution representation of the cu...
Stefanie Hahmann, Basile Sauvage, Georges-Pierre B...
LOGCOM
2007
97views more  LOGCOM 2007»
14 years 9 months ago
Termination for Hybrid Tableaus
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
Thomas Bolander, Patrick Blackburn
CORR
2002
Springer
74views Education» more  CORR 2002»
14 years 9 months ago
A logical reconstruction of SPKI
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
Joseph Y. Halpern, Ron van der Meyden
MICRO
2000
IEEE
129views Hardware» more  MICRO 2000»
14 years 9 months ago
Architectural Considerations for CPU and Network Interface Integration
The popularity of the Internet and the emergence of broadband access networks is fueling the development of communications processors -- devices that integrate processing, network...
Charles D. Cranor, R. Gopalakrishnan, Peter Z. Onu...
TVLSI
2002
111views more  TVLSI 2002»
14 years 9 months ago
Circular BIST with state skipping
Circular built-in self-test (BIST) is a "test per clock" scheme that offers many advantages compared with conventional BIST approaches in terms of low area overhead, simp...
Nur A. Touba