11752 search results - page 133 / 2351 » Those |
135
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
173
click to vote
PRICAI
2000
Springer
15 years 8 months ago
2000
Springer
Autonomous state generalization problem is a key issue in the research field of behavior learning of reactive agents, and many approaches have been proposed in recent years. Howeve...
143
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
135
click to vote
ICRA
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper describes the development of a sensor which performs parts inspection by measuring the inertial properties of the part. The sensor comprises a platform supported on a c...
133
click to vote
ISLPED
1995
ACM
15 years 8 months ago
1995
ACM
In current processors, the cache controller, which contains the cache directory and other logic such as tag comparators, is active for each instruction fetch and is responsible fo...