1536 search results - page 292 / 308 » The Underlying Logic of Hoare Logic |
OOPSLA
2004
Springer
14 years 22 days ago
2004
Springer
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
XPU
2004
Springer
14 years 21 days ago
2004
Springer
We describe how a small, successful, self-selected XP team approached a seemingly intractable problem with panache, flair and immodesty. We rewrote a legacy application by deliver...
CODES
2003
IEEE
14 years 20 days 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...
ICDCSW
2003
IEEE
14 years 20 days ago
2003
IEEE
— The rendering mechanism used in Web browsers have a significant impact on the user behavior and delay tolerance of retrieval. The head-of-line blocking phenomena prevents the ...
IDEAS
2003
IEEE
14 years 19 days ago
2003
IEEE
The objective of this paper is to investigate the problems related to the extensional integration of information sources. In particular, we propose an approach for managing incons...