Sciweavers

18493 search results - page 56 / 3699
» Timers for Distributed Systems
Sort
View
85
Voted
ISHPC
1997
Springer
15 years 6 months ago
Improving the Performance of Automated Forward Deduction System EnCal
Kazunori Nishi, Jingde Cheng, Kazuo Ushijima
ICPADS
1994
IEEE
15 years 6 months ago
Toward Semantic-Based Parallelism in Production Systems
Shiow-yang Wu, Daniel P. Miranker, James C. Browne
99
Voted
CONCUR
1992
Springer
15 years 6 months ago
Verification of Parallel Systems via Decomposition
Jan Friso Groote, Faron Moller