2385 search results - page 184 / 477 » Sense of Direction in Distributed Computing |
171
click to vote
FIDJI
2004
Springer
15 years 5 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
124
click to vote
PPSN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A key problem in designing artificial neural networks for visual object recognition tasks is the proper choice of the network architecture. Evolutionary optimization met...
108
click to vote
IEEEPACT
2002
IEEE
15 years 5 months ago
2002
IEEE
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Over the last decade significant progress in optoelectronic devices and their integration techniques have made Free-Space Optical Interconnects (FSOI) one of the few physical appro...
90
Voted
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...