Sciweavers

2680 search results - page 313 / 536
» The topology of the independence complex
Sort
View
IRI
2003
IEEE
15 years 7 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
SMI
2003
IEEE
143views Image Analysis» more  SMI 2003»
15 years 7 months ago
Rough Surface Modeling Using Surface Growth
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
Yootai Kim, Raghu Machiraju, David Thompson
VISUALIZATION
2003
IEEE
15 years 7 months ago
Image Space Based Visualization of Unsteady Flow on Surfaces
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...
Robert S. Laramee, Bruno Jobard, Helwig Hauser
ISPD
2003
ACM
88views Hardware» more  ISPD 2003»
15 years 7 months ago
Porosity aware buffered steiner tree construction
— In order to achieve timing closure on increasingly complex IC designs, buffer insertion needs to be performed on thousands of nets within an integrated physical synthesis syste...
Charles J. Alpert, Gopal Gandham, Milos Hrkic, Jia...
SASN
2003
ACM
15 years 7 months ago
SECTOR: secure tracking of node encounters in multi-hop wireless networks
In this paper we present SECTOR, a set of mechanisms for the secure verification of the time of encounters between nodes in multi-hop wireless networks. This information can be u...
Srdjan Capkun, Levente Buttyán, Jean-Pierre...