Paul G. Spirakis
· 16 obras en el catálogo
Obras
Buffered versus unbuffered tree networks for accessing a critical resource
1983
The effect of restrictions on relative processor speeds to differences in efficiency between synchronous and asynchronous systems
1982
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
On the combinatorial complexity of motion coordination
1983
On the shadow CPU approximation for modelling priority scheduling in computer systems
1983
The parallel complexity of deadlock detection
1986
Probabilistic techniques for two phase locking in database systems
1983
Queuing delaymodeling for multistage interconnection multiprocessor networks
1984
A semantic approach to correctness of concurrent transaction executions
1984
Strong NP-hardness of moving many discs
1983
Very fast algorithms for the area of the union of many circles
1983
The volume of the union of many spheres and point inclusion problems
1984
