162 search results - page 33 / 33 » The Logic of Time Structures: Temporal and Nonmonotonic Feat... |
SCP
2010
13 years 3 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
JCM
2008
13 years 5 months ago
2008
With the feature size of semiconductor technology reducing and intellectual properties (IP) cores increasing, on chip communication architectures have a great influence on the perf...