11547 search results - page 202 / 2310 » Quantum computing and communication |
169
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
184
click to vote
EUC
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...
181
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
136
click to vote
IPPS
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes several algorithms to perform all-to-all communication on a two-dimensional mesh connected computer with wormhole routing. We discuss both direct algorithms, ...
152
click to vote
GSEM
2007
Springer
15 years 10 months ago
2007
Springer
Service Level Agreements (SLAs) are currently one of the major research topics in Grid Computing. Among those system components that support SLA-aware Grid jobs, the SLA mapping me...