2935 search results - page 193 / 587 » An Integrated Approach to High Integrity Software Verificati... |
190
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
154
click to vote
ICCD
2000
IEEE
16 years 3 months ago
2000
IEEE
el of abstraction by integrating a high-level estimation step. This results in a design loop which is tight led on high level of abstraction (called estimation loop in figure 1). ...
145
click to vote
MVA
1992
15 years 7 months ago
1992
2 Computational Theory The processing of biological specimens or the 2.1 Overview examination of material surfaces for quality control requires a fast and precise autofocus system....
164
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
142
click to vote
MUE
2007
IEEE
16 years 26 days ago
2007
IEEE
The aging of our society presents a range of challenges to housing providers. With the advanced mobile technologies we are now able to develop quality mobile services to help seni...