The Impossibility of Boosting Distributed Service Resilience
Attie, P., Guerraoui, R., Kouznetsov, P., Lynch, N., Rajsbaum, S.
Published in 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05) (2005)
Published in 25th IEEE International Conference on Distributed Computing Systems (ICDCS'05) (2005)
Get full text
Conference Proceeding
Scheduling workflows by enforcing intertask dependencies
Attie, P C, Singh, M P, Emerson, E A, Sheth, A, Rusinkiewicz, M
Published in Distributed systems engineering (01.12.1996)
Published in Distributed systems engineering (01.12.1996)
Get full text
Journal Article
Synthesis of fault-tolerant concurrent programs
Attie, P C, Arora, A, Emerson, E A
Published in Journal of applied mathematics and mechanics (01.01.2003)
Get full text
Published in Journal of applied mathematics and mechanics (01.01.2003)
Journal Article
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
Get full text
Conference Proceeding
Book Chapter
Turing machines, transition systems, and interaction
Goldin, Dina Q., Smolka, Scott A., Attie, Paul C., Sonderegger, Elaine L.
Published in Information and computation (01.11.2004)
Published in Information and computation (01.11.2004)
Get full text
Journal Article
Beyond AIMD: explicit fair-share calculation
Attie, P.C., Lahanas, A., Tsaoussidis, V.
Published in Proceedings of the Eighth IEEE Symposium on Computers and Communications. ISCC 2003 (2003)
Published in Proceedings of the Eighth IEEE Symposium on Computers and Communications. ISCC 2003 (2003)
Get full text
Conference Proceeding
The hundred-dollar laptop
Attie, Patrick, Breinholt, Keith L, Bucio, Rosina, Bullinga, Marcel, Kadhi, Saad, Negroponte, Nicholas P
Published in Technology review (1998) (01.10.2005)
Get full text
Published in Technology review (1998) (01.10.2005)
Magazine Article
On fairness as an abstraction for the design of distributed systems
Attie, P.C., Forman, I.R., Levy, E.
Published in Proceedings.,10th International Conference on Distributed Computing Systems (1990)
Published in Proceedings.,10th International Conference on Distributed Computing Systems (1990)
Get full text
Conference Proceeding