6031 search results - page 227 / 1207 » Communicating Transaction Processes |
122
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
147
click to vote
PDPTA
2004
15 years 7 months ago
2004
: With the resurgence of interest in distributed processing and programming of distributed systems, researchers are exploring methods and techniques for facilitating programming of...
129
click to vote
ANLP
1994
15 years 7 months ago
1994
A new type of thesaurus for word processing is proposed. It comprises 7 semantic and 8 syntagmatic types of links between Russian words and collocations. The original version now ...
195
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Top-k query has long been an important topic in many fields of computer science. Efficient implementation of the top-k queries is the key for information searching. With the n...
163
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
— This paper describes a new architecture for a cellular processor array integrated circuit, which operates in both discreteand continuous-time domains. Asynchronous propagation ...