5343 search results - page 325 / 1069 » Keyword programming in java |
122
Voted
EJC
2000
15 years 5 months ago
2000
We present a new model for generating network applications. Our model is based on trees communicating with each other. Our model is simple to understand, but yet powerful enough to...
135
click to vote
WOA
2000
15 years 5 months ago
2000
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
134
Voted
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
158
Voted
IGPL
2006
15 years 3 months ago
2006
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
129
click to vote
ENTCS
2007
15 years 3 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...