840 search results - page 115 / 168 » Test suite oscillations |
88
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
118
click to vote
BTW
2007
Springer
15 years 4 months ago
2007
Springer
: Schema mapping techniques for data exchange have become popular and useful tools both in research and industry. A schema mapping relates a source schema with a target schema via ...
110
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
96
Voted
FLAIRS
1998
15 years 1 months ago
1998
Reinforcement learning (RL) problems constitute an important class of learning and control problems faced by artificial intelligence systems. In these problems, one is faced with ...
110
click to vote
DT
2000
15 years 10 days ago
2000
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...