Sciweavers

7623 search results - page 440 / 1525
» Constructive Volume Modeling
Sort
View
184
Voted
ISCAS
1999
IEEE
109views Hardware» more  ISCAS 1999»
15 years 11 months ago
Solution of vector partial differential equations by transfer function models
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
Rudolf Rabenstein, Lutz Trautmann
FM
2006
Springer
121views Formal Methods» more  FM 2006»
15 years 10 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
EUROCRYPT
2000
Springer
15 years 10 months ago
Efficient Concurrent Zero-Knowledge in the Auxiliary String Model
We show that if any one-way function exists, then 3-round concurrent zero-knowledge arguments for all NP problems can be built in a model where a short auxiliary string with a pres...
Ivan Damgård
HPCN
1995
Springer
15 years 10 months ago
Mermaid: modelling and evaluation research in MIMD architecture design
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
Andy D. Pimentel, J. van Brummen, T. Papathanassia...
SIGGRAPH
1987
ACM
15 years 10 months ago
Elastically deformable models
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...
Demetri Terzopoulos, John C. Platt, Alan H. Barr, ...