306 search results - page 2 / 62 » NaturalJava: a natural language interface for programming in... |
JAVA
1999
Springer
13 years 9 months ago
1999
Springer
User-level network interfaces (UNIs) have reduced the overheads of communication by exposing the buffers used by the network interface DMA engine to the applications. This removes...
JAVA
1999
Springer
13 years 9 months ago
1999
Springer
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
GPCE
2009
Springer
13 years 10 months ago
2009
Springer
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
ECOOPW
1998
Springer
13 years 9 months ago
1998
Springer
Enterprise Java Beans (EJB), a specification for a Java component framework recently released by Sun Microsystems, immediately attracted attention of several major software vendor...