5030 search results - page 186 / 1006 » cases 2007 |
183
Voted
GC
2007
Springer
15 years 7 months ago
2007
Springer
We develop Gray code enumeration schemes for geometric graphs in the plane. The considered graph classes include plane straight-line graphs, plane spanning trees, and connected pl...
189
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
161
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
157
click to vote
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
173
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
We present an efficient framework for dynamic reconfiguration of application-specific custom instructions. A key component of this framework is an iterative algorithm for temporal...