1932 search results - page 140 / 387 » Molecule-oriented programming in Java |
114
Voted
CAV
2004
Springer
15 years 4 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
77
Voted
PDPTA
2003
15 years 2 months ago
2003
— In this paper we present a library of classes for programming reinforcement learning simulations in Java. This library is based upon the standard by Sutton and Santamaria [1], ...
113
Voted
SPLST
2003
15 years 2 months ago
2003
SMS (Short Message Service) is a widely used service for brief communication. Occasionally the data sent using SMS services is confidential in nature and is desired not to be disc...
147
click to vote
HIPEAC
2011
Springer
14 years 9 days ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
198
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...