Sciweavers

1000 search results - page 83 / 200
» Relationship Model of Abstractions Used for Developing Domai...
Sort
View
DATE
2002
IEEE
131views Hardware» more  DATE 2002»
14 years 1 months ago
Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. For high-spee...
Carlos P. Coelho, Luis Miguel Silveira, Joel R. Ph...
IEEECIT
2005
IEEE
14 years 2 months ago
iCDMdt: Focused the Model Mapping and Performance Optimization in Embedded System Design
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
Jing Luan, Xuan Cheng, Junzhong Gu
LICS
1999
IEEE
14 years 1 months ago
Towards a Theory of Bisimulation for Local Names
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
Alan Jeffrey, Julian Rathke
EVOW
2008
Springer
13 years 10 months ago
Detection of Quantitative Trait Associated Genes Using Cluster Analysis
Abstract. Many efforts have been involved in association study of quantitative phenotypes and expressed genes. The key issue is how to efficiently identify phenotype-associated gen...
Zhenyu Jia, Sha Tang, Dan Mercola, Shizhong Xu
SPATIALCOGNITION
2000
Springer
14 years 11 days ago
Monitoring Change: Characteristics of Dynamic Geo-spatial Phenomena for Visual Exploration
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
Connie A. Blok