790 search results - page 81 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
126
Voted
IJEIS
2010
15 years 1 months ago
2010
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
120
Voted
ENTCS
2006
15 years 3 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
166
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
128
Voted
ICCAD
2004
IEEE
16 years 18 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
140
Voted
DAGSTUHL
1990
15 years 4 months ago
1990
One of the principal advantages of parallelizing a rule-based system, or more generally, any A.I. system, is the ability to pursue alternate search paths concurrently. Conventiona...