1729 search results - page 153 / 346 » A Case-Based Parallel Programming System |
108
click to vote
APPT
2003
Springer
15 years 7 months ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...
129
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
122
Voted
AICOM
2010
15 years 2 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
117
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
In many applications string pattern matching is one of the most intensive tasks in terms of computation time and memory accesses. Network Intrusion Detection Systems and DNA Seque...
163
Voted
SPAA
2012
ACM
13 years 4 months ago
2012
ACM
GPU-based heterogeneous clusters continue to draw attention from vendors and HPC users due to their high energy efficiency and much improved single-node computational performance...