Sciweavers

977 search results - page 163 / 196
» DRIFT: A Framework for Ontology-based Design Support Systems
Sort
View
GMP
2006
IEEE
121views Solid Modeling» more  GMP 2006»
14 years 2 months ago
Preserving Form-Features in Interactive Mesh Deformation
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...
Hiroshi Masuda, Yasuhiro Yoshioka, Yoshiyuki Furuk...
RTAS
2006
IEEE
14 years 2 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
DATE
2000
IEEE
140views Hardware» more  DATE 2000»
14 years 13 days ago
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
Luc Séméria, Koichi Sato, Giovanni D...
ASYNC
1998
IEEE
110views Hardware» more  ASYNC 1998»
14 years 9 days ago
Analyzing Specifications for Delay-Insensitive Circuits
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
Tom Verhoeff
EUSFLAT
2001
101views Fuzzy Logic» more  EUSFLAT 2001»
13 years 9 months ago
Fuzzy logic in organization analysis and control
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...
Farley S. M. Nobre, Simon J. Steiner