5548 search results - page 667 / 1110 » Programming a Distributed System Using Shared Objects |
200
click to vote
TPHOL
1999
IEEE
15 years 12 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
176
click to vote
IPPS
2008
IEEE
16 years 2 months ago
2008
IEEE
Modern desktop grid environments and shared computing platforms have popularized the use of contributory resources, such as desktop computers, as computing substrates for a variet...
188
click to vote
VRML
2005
ACM
16 years 1 months ago
2005
ACM
We present an initial report on using our distributed, collaborative grid enabled visualization environment to link SuperComputing 2004 (Pittsburgh, PA, USA) with the Cardiff Scho...
191
click to vote
DOA
2000
15 years 9 months ago
2000
The wide acceptance of object-oriented environments and proposals has renewed interest in all the class inheritance related issues; in particular its implementation in distributed...
222
click to vote
JSSPP
2009
Springer
16 years 2 months ago
2009
Springer
It is important to identify scalability constraints in existing job scheduling software as they are applied to next generation parallel systems. In this paper, we analyze the scala...