2584 search results - page 43 / 517 » On the Forward Checking Algorithm |
FOIKS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
WDAG
1993
Springer
13 years 12 months ago
1993
Springer
CODES
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
CONEXT
2009
ACM
13 years 9 months ago
2009
ACM
This paper presents the design and evaluation of SafeGuard, an intra-domain routing system that can safely forward packets to their destinations even when routes are changing. Saf...