3765 search results - page 700 / 753 » Formal Methods for Systems Engineering Behavior Models |
ISPASS
2008
IEEE
14 years 3 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
CODES
2006
IEEE
14 years 13 days ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...
HRI
2006
ACM
14 years 2 months ago
2006
ACM
We present a method of grounded word learning that is powerful enough to learn the meanings of first and second person pronouns. The model uses the understood words in an utteran...
NN
2000
Springer
13 years 8 months ago
2000
Springer
The article contributes to the quest to relate global data on brain and behavior (e.g. from PET, Positron Emission Tomography, and fMRI, functional Magnetic Resonance Imaging) to ...
MBEES
2008
13 years 10 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...