1271 search results - page 179 / 255 » On Simulation-Checking with Sequential Systems |
LCPC
1992
Springer
14 years 2 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
CASES
2008
ACM
14 years 3 days ago
2008
ACM
While customizable processors aim at combining the flexibility of general purpose processors with the speed and power advantages of custom circuits, commercially available process...
CHINZ
2005
ACM
14 years 2 days ago
2005
ACM
re the use of abstracted screenshots as part of a new help interface. Graphstract, an implementation of a graphical help system, extends the ideas of textually oriented Minimal Ma...
DEXA
2008
Springer
13 years 12 months ago
2008
Springer
Opinion mining received well attention in finding personal opinions from user generated content. These opinions contain valuable information for improving and/or comparing the prod...