Sciweavers

5334 search results - page 275 / 1067
» Communicating quantum processes
Sort
View
ASAP
2000
IEEE
142views Hardware» more  ASAP 2000»
15 years 10 months ago
Contention-Conscious Transaction Ordering in Embedded Multiprocessors
This paper explores the problem of efficiently ordering interprocessor communication operations in statically-scheduled multiprocessors for iterative dataflow graphs. In most digi...
Mukul Khandelia, Shuvra S. Bhattacharyya
AGENTCL
2000
Springer
15 years 10 months ago
What Is a Conversation Policy?
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
Mark Greaves, Heather Holmback, Jeffrey Bradshaw
ICC
2007
IEEE
15 years 10 months ago
Towards an Integrated Design Approach to Specknets
The Research Consortium in Speckled Computing is a multidisciplinary grouping of computer scientists, electronic engineers, physicists and electrochemists with the aim of realising...
D. K. Arvind, K. Elgaid, T. Krauss, A. Paterson, R...
IPPS
2000
IEEE
15 years 9 months ago
ATOLL, a New Switched, High Speed Interconnect in Comparison to Myrinet and SCI
Abstract. While standard processors achieve supercomputer performance, a performance gap exists between the interconnect of MPP's and COTS. Standard solutions like Ethernet ca...
Markus Fischer, Ulrich Brüning, Jörg Klu...
RV
2010
Springer
153views Hardware» more  RV 2010»
15 years 4 months ago
Run-Time Verification of Networked Software
Most applications that are in use today inter-operate with other applications, so-called peers, over a network. The analysis of such distributed applications requires that the effe...
Cyrille Valentin Artho