279 search results - page 42 / 56 » Testing for Refinement in CSP |
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
In the context of Intelligent Learning Environments (ILE), adaptivity plays a key role. In order to achieve adaptive behavior an ILE should have a rich representation of the learn...
112
click to vote
AGENTS
2001
Springer
15 years 4 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
ACMDIS
2000
ACM
15 years 4 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...
114
click to vote
IEEEPACT
1997
IEEE
15 years 3 months ago
1997
IEEE
† In this paper, we propose a parallel randomized algorithm, called Parallel Fast Assignment using Search Technique (PFAST), for scheduling parallel programs represented by direc...
DAC
1997
ACM
15 years 3 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...