1407 search results - page 129 / 282 » Using Use Cases in Executable Z |
137
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present ParaPART, a parallel version of a mesh partitioning tool, called PART, for distributed systems. PART takes into consideration the heterogeneities in proce...
163
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
138
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
162
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
137
click to vote
HIPEAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. High end routers are targeted at providing worst case throughput guarantees over latency. Caches on the other hand are meant to help latency not throughput in a tradition...