Sciweavers

807 search results - page 87 / 162
» Competition Adds Complexity
Sort
View
104
Voted
CAGD
2005
94views more  CAGD 2005»
15 years 16 days 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...
105
Voted
LOGCOM
2007
97views more  LOGCOM 2007»
15 years 15 days 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»
15 years 13 days 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
92
Voted
MICRO
2000
IEEE
129views Hardware» more  MICRO 2000»
15 years 12 days 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...
108
Voted
TVLSI
2002
111views more  TVLSI 2002»
15 years 7 days 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