12897 search results - page 375 / 2580 » Multi-Torrent: A Performance Study |
219
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
180
click to vote
IWPC
1997
IEEE
15 years 11 months ago
1997
IEEE
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
203
Voted
CLADE
2004
IEEE
15 years 10 months ago
2004
IEEE
A key challenge faced by large-scale, distributed applications in Grid environments is efficient, seamless data management. In particular, for applications that can benefit from a...
153
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we describe how we applied a BIST-based approach to the test of a logic core to be included in System-on-achip (SoC) environments. The approach advantages are the ab...
205
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
The shaky ladder hyperplane-defined functions (sl-hdf's) are a test suite utilized for exploring the behavior of the genetic algorithm (GA) in dynamic environments. We present...