1027 search results - page 45 / 206 » A Model for Java with Wildcards |
101
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
156
click to vote
RTCSA
2003
IEEE
15 years 8 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
KI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
133
Voted
SIGCSE
2002
ACM
15 years 2 months ago
2002
ACM
This paper covers the use of Java and its API for developing networking programs in an undergraduate computer networks class. Through the use of TCP and UDP sockets provided in th...
127
Voted
WSC
2004
15 years 4 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...