1757 search results - page 81 / 352 » Alternating Refinement Relations |
115
click to vote
TVLSI
2008
15 years 3 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
120
click to vote
TWC
2008
15 years 3 months ago
2008
The goal of the sensor network localization problem is to determine positions of all sensor nodes in a network given certain pairwise noisy distance measurements and some anchor no...
165
click to vote
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamic load balancing(DLB) for parallel systems has been studied extensively; however, DLB for distributed systems is relatively new. To efficiently utilize computing resources p...
154
click to vote
TCAD
2010
14 years 10 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
128
click to vote
LREC
2008
15 years 4 months ago
2008
In this paper we present and discuss the results of a text coherence experiment performed on a small corpus of Romanian text from a number of alternative high school manuals. Duri...