Paul G. Spirakis
16 works on record
Works
The parallel complexity of deadlock detection
1986
Queuing delaymodeling for multistage interconnection multiprocessor networks
1984
A semantic approach to correctness of concurrent transaction executions
1984
The volume of the union of many spheres and point inclusion problems
1984
Fast probabilistic techniques for dynamic parallel addition, parallel counting and the processor identification problem
1984
Moving many pebbles in a graph is polynomial time
1983
Probabilistic techniques for two phase locking in database systems
1983
On the shadow CPU approximation for modelling priority scheduling in computer systems
1983
Very fast algorithms for the area of the union of many circles
1983
Buffered versus unbuffered tree networks for accessing a critical resource
1983
Strong NP-hardness of moving many discs
1983
On the combinatorial complexity of motion coordination
1983
The effect of restrictions on relative processor speeds to differences in efficiency between synchronous and asynchronous systems
1982
Algorithms and Complexity
Computer Network Epidemics
Automata, Languages and Programming