4370 search results - page 304 / 874 » Brain Organization and Computation |
142
click to vote
PDCAT
2004
Springer
16 years 1 days ago
2004
Springer
Based on the research on Service Unit based Network Architecture (SUNA), this paper presents a Micro-Communication Element System (MCES) which is a new interconnecting network syst...
178
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Very large scale networks such as the Internet require a new operational model to use resources efficiently and reduce the need for the administration necessary in clientserver n...
181
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
178
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...
147
click to vote
ITICSE
2000
ACM
15 years 11 months ago
2000
ACM
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...