Sciweavers

4890 search results - page 465 / 978
» From system specifications to component behavioral models
Sort
View
FLAIRS
2008
15 years 9 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
FPL
2004
Springer
106views Hardware» more  FPL 2004»
16 years 17 days ago
FiPRe: An Implementation Model to Enable Self-Reconfigurable Applications
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
Leandro Möller, Ney Laert Vilar Calazans, Fer...
SI3D
1997
ACM
15 years 11 months ago
Direct Haptic Rendering of Sculptured Models
A new tracing algorithm is described that supports haptic rendering of NURBS surfaces without the use of any intermediate representation. By using this tracing algorithm in conjun...
Thomas V. Thompson II, David E. Johnson, Elaine Co...
SMC
2010
IEEE
166views Control Systems» more  SMC 2010»
15 years 5 months ago
A system to recommend dishes by the real time recognition of dining activity
— Enhancement of dining environment by information technology is explored in this paper. A table system to recommend additional dishes according to the dining status is introduce...
Tomoo Inoue, Yosuke Matsusaka
IMCSIT
2010
15 years 2 months ago
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
Matthias Hagner, Ursula Goltz