462 search results - page 51 / 93 » Symbolic Bounded Synthesis |
127
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
141
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
This paper illustrates the thesis research and process that led me to conceive, design and evaluate the Phototropic Memories device, a novel interface supporting the intimate shar...
ACL
1992
15 years 3 months ago
1992
This paper presents a connectionist syntactic parser which uses Structure Unification Grammar as its grammatical framework. The parser is implemented in a connectionist architectu...
109
click to vote
SLOGICA
2008
15 years 11 days ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...