933 search results - page 47 / 187 » Extending Forward Checking |
114
click to vote
CAV
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
129
click to vote
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...
107
Voted
ISLPED
2010
ACM
15 years 26 days ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
105
click to vote
JLP
2007
15 years 16 days ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
102
Voted
TIP
1998
15 years 9 days ago
1998
—Extracting a signature from a check with patterned background is a thorny problem in image segmentation. Methods based on threshold techniques often necessitate meticulous postp...