6404 search results - page 187 / 1281 » Blocks |
145
Voted
ACMMSP
2004
ACM
16 years 14 days ago
2004
ACM
244
click to vote
ACRI
2004
Springer
16 years 13 days ago
2004
Springer
Cellular automata (CA) are highly parallel and discrete dynamical systems, whose behavior is completely specified in terms of a local relation. They were successfully applied for s...
197
Voted
ATVA
2004
Springer
16 years 13 days ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...