3221 search results - page 251 / 645 » Termination of Linear Programs |
174
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
146
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
139
click to vote
PVM
2001
Springer
15 years 11 months ago
2001
Springer
Dynamic process management is a much-needed feature for applications and tools development in Beowulf cluster environment. A welldefined and efficient dynamic process management in...
161
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
The well-known backpropagation (BP) derivative computation process for multilayer perceptrons (MLP) learning can be viewed as a simplified version of the Kelley-Bryson gradient f...
157
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Distributed computing has taken a new importance in order to meet the requirements of users demanding information “anytime, anywhere.” Inferno facilitates the creation and sup...