10159 search results - page 207 / 2032 » System Design Validation Using Formal Models |
123
click to vote
IJBIS
2010
15 years 1 days ago
2010
This paper considers conceptual and contextual issues relating to the problem of developing systems models capable of representing knowable and unknowable information requirements...
123
Voted
HPCA
2000
IEEE
15 years 7 months ago
2000
IEEE
We are attacking the memory bottleneck by building a “smart” memory controller that improves effective memory bandwidth, bus utilization, and cache efficiency by letting appl...
WSC
2007
15 years 5 months ago
2007
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...
115
Voted
FLAIRS
2000
15 years 4 months ago
2000
Many knowledge acquisition approaches have been proposed to minimize the cognitive effort in knowledgebased system construction. The knowledge acquisition approach proposed here p...
132
Voted
ICEIS
2009
IEEE
15 years 15 days ago
2009
IEEE
: This paper presents the development of an Artificial Neural Network system for Dynamometer Card pattern recognition in oil well rod pump systems. It covers the establishment of p...