9485 search results - page 1747 / 1897 » Research on Brain-Like Computer |
181
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
163
click to vote
ICDCS
1990
IEEE
15 years 10 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
182
click to vote
PPOPP
1990
ACM
15 years 10 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
149
click to vote
CHINZ
2007
ACM
15 years 10 months ago
2007
ACM
Research has been done into improving the means by which we organise and manage information. The usefulness of 2D versus 3D interfaces and environments has also been debated and e...
228
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
A number of factors, such as the increasing popularity of wireless networks, the opportunities offered by 3G services, and the rapid proliferation of mobile devices, have stimulat...