10715 search results - page 262 / 2143 » Proofs from Tests |
165
click to vote
ICT
2004
Springer
16 years 2 days ago
2004
Springer
The active networks approach has been presented as an alternative technology for solving several problems in conventional networks, mainly in the network management area. This work...
178
click to vote
UML
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
191
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
Because domino logic design offers smaller area and faster delay than conventional CMOS design, it is very popular in the high-performance processor design. However, domino logic ...
156
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
Advances in semiconductor process and design technology enable the design of complex system chips. Traditional IC design, in which every circuit is designed from scratch and reuse...
179
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...