579 search results - page 82 / 116 » Constraint Validation in Model Compilers |
155
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
124
Voted
CF
2010
ACM
15 years 7 months ago
2010
ACM
We develop two simple interval-based models for dynamic superscalar processors. These models allow us to: i) predict with great accuracy performance and power consumption under va...
132
Voted
ISMB
1998
15 years 3 months ago
1998
A novel method to model and predict the location and orientation of alpha helices in membrane- spanning proteins is presented. It is based on a hidden Markov model (HMM) with an a...
141
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: The analysis of protein structures provides fundamental insight into most biochemical functions and consequently into the cause and possible treatment of diseases. As ...
112
Voted
CACM
1998
15 years 2 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...