803 search results - page 91 / 161 » Independence in Direct-Product Graphs |
109
click to vote
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Multiple memory module architecture enjoys higher memory access bandwidth and thus higher performance. Two key problems in gaining high performance in this kind of architecture ar...
101
click to vote
ISCAS
2002
IEEE
15 years 5 months ago
2002
IEEE
Multiple memory module architecture offers higher performance by providing potentially doubled memory bandwidth. Two key problems in gaining high performance in this kind of archi...
130
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
138
Voted
PUK
2003
15 years 2 months ago
2003
This paper exploits the spatial representation of state space problem graphs to preprocess and enhance heuristic search engines. It combines classical AI exploration with computati...
116
click to vote
ENTCS
2007
15 years 23 days ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...