3872 search results - page 246 / 775 » The Java memory model |
118
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
116
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
112
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
119
Voted
IAT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
137
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper reports on an effort to use both the system theoretic DEVS (discrete event simulation) formalism and the JavaBeans component model as a basis for a componentbased discr...