462 search results - page 51 / 93 » Symbolic Bounded Synthesis |
140
Voted
CAV
2006
Springer
15 years 7 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...
155
Voted
CORR
2010
Springer
15 years 3 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...
122
Voted
MHCI
2009
Springer
15 years 10 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...
101
click to vote
ACL
1992
15 years 5 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...
126
Voted
SLOGICA
2008
15 years 2 months 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...