| |
Reviews about "Modes Of Computation (F.1.2)":
|
Date Reviewed |
Epistemic strategies and games on concurrent processes
Chatzikokolakis K., Knight S., Palamidessi C., Panangaden P. ACM Transactions on Computational Logic 13(4): 1-35, 2012. Type: Article
|
Apr 1 2013 |
Online execution time prediction for computationally intensive applications with periodic progress updates
Chtepen M., Claeys F., Dhoedt B., De Turck F., Fostier J., Demeester P., Vanrolleghem P. The Journal of Supercomputing 62(2): 768-786, 2012. Type: Article
|
Mar 1 2013 |
A primal-dual randomized algorithm for weighted paging
Bansal N., Buchbinder N., Naor J. Journal of the ACM 59(4): 1-24, 2012. Type: Article
|
Feb 1 2013 |
Functionals using bounded information and the dynamics of algorithms
Grigorieff S., Valarcher P. LICS 2012 (Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science, Dubrovnik, Croatia, Jun 25-28, 2012) 345-354, 2012. Type: Proceedings
|
Jan 8 2013 |
Fast asynchronous Byzantine agreement and leader election with full information
Kapron B., Kempe D., King V., Saia J., Sanwalani V. ACM Transactions on Algorithms 6(4): 1-28, 2010. Type: Article
|
Nov 11 2010 |
A theory of contracts for Web services
Castagna G., Gesbert N., Padovani L. ACM Transactions on Programming Languages and Systems 31(5): 1-61, 2009. Type: Article
|
Jul 1 2010 |
Transactions on Petri nets and other models of concurrency I (Lecture Notes In Computer Science 5100)
Jensen K., Aalst W., Billington J. Springer-Verlag, Berlin, Heidelberg, 2008. Type: Divisible Book
|
Nov 2 2009 |
more...
|
|
|
|
