1887 search results - page 230 / 378 » Annotation Framework Validation Using Domain Models |
125
click to vote
GLVLSI
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper describes a physics-based semi-analytical model for Schottky-barrier carbon nanotube (CNT) and graphene nanoribbon (GNR) transistors. The model includes the treatment o...
100
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
101
click to vote
ACCV
2007
Springer
15 years 9 months ago
2007
Springer
The complexity of dynamical laws governing 3D atmospheric flows associated to incomplete and noisy observations makes very difficult the recovery of atmospheric dynamics from sate...
122
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most of the new embedded systems require high performance processors at low power. To cater to these needs, most semiconductor companies are designing multi-core processo...
113
click to vote
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...