462 search results - page 28 / 93 » Function Types in Complete Type Inference |
SEMCO
2007
IEEE
14 years 1 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
PVM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
Code instrumentation is a mechanism that allows modules of programs to be completely rewritten at runtime. With the advent of virtual machines, this type of functionality is becom...
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. OWL-S allows selecting, composing and invoking Web Serdifferent levels of abstraction: selection uses high level abstract descriptions, invocation uses low level groundi...
PLDI
2003
ACM
14 years 28 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...