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»
15 years 8 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...
110
Voted
IEEECIT
2005
IEEE
15 years 9 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
138
Voted
LICS
1999
IEEE
15 years 7 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
121
Voted
EVOW
2008
Springer
15 years 5 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
123
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months 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