1617 search results - page 67 / 324 » Parallel Cost Analysis of Distributed Systems |
77
Voted
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
IPPS
1995
IEEE
15 years 2 months ago
1995
IEEE
The RACE R
parallel computer system provides a highperformance parallel interconnection network at low cost. This paper describes the architecture and implementation of the RACE ...
GCC
2003
Springer
15 years 4 months ago
2003
Springer
Even though grid research is prosperous in an extensive context, few grid platforms for high performance computing are practical and in operation so far. Since most applications a...
ICDCS
2005
IEEE
15 years 4 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
JSAC
2006
14 years 11 months ago
2006
The ability to inspect both packet headers and payloads to identify attack signatures makes network intrusion detection system (NIDS) a promising approach to protect Internet syste...