Sciweavers

1604 search results - page 157 / 321
» Modeling and simulation of integrated intelligent systems
Sort
View
ECAI
2008
Springer
15 years 8 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
DATE
2006
IEEE
72views Hardware» more  DATE 2006»
16 years 16 days ago
HDL models of ferromagnetic core hysteresis using timeless discretisation of the magnetic slope
A new methodology is presented to assure numerically reliable integration of the magnetisation slope in the JilesAtherton model of ferromagnetic core hysteresis. Two HDL implement...
Hessa Al-Junaid, Tom J. Kazmierski
DATE
2006
IEEE
135views Hardware» more  DATE 2006»
16 years 16 days ago
FPGA architecture characterization for system level performance analysis
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...
Douglas Densmore, Adam Donlin, Alberto L. Sangiova...
VLDB
1995
ACM
214views Database» more  VLDB 1995»
15 years 10 months ago
Dynamic Multi-Resource Load Balancing in Parallel Database Systems
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
Erhard Rahm, Robert Marek
MICCAI
2008
Springer
16 years 7 months ago
Exploring the Use of Proper Orthogonal Decomposition for Enhancing Blood Flow Images Via Computational Fluid Dynamics
Abstract. Obtaining high quality patient-specific flow velocity information is not an easy task. Available clinical data are usually poorly resolved and contain a significant amoun...
Dominik Szczerba, Gábor Székely, Kri...