Sciweavers

11345 search results - page 40 / 2269
» Foundations of Computer Science
Sort
View
ICSE
2000
IEEE-ACM
14 years 17 days ago
Mathematical foundations of software engineering: a roadmap
Although we do not profess to be capable of defining a `roadmap' for the foundations of SE over the next ten years, we can discern some important steps that would be extremel...
T. S. E. Maibaum
FOCS
2003
IEEE
14 years 2 months ago
Approximation Algorithms for Asymmetric TSP by Decomposing Directed Regular Multigraphs
A directed multigraph is said to be d-regular if the indegree and outdegree of every vertex is exactly d. By Hall’s theorem one can represent such a multigraph as a combination ...
Haim Kaplan, Moshe Lewenstein, Nira Shafrir, Maxim...
FOCS
1992
IEEE
14 years 1 months ago
Fault-tolerant Wait-free Shared Objects
Wait-free implementations of shared objects tolerate the failure of processes, but not the failure of base objects from which they are implemented. We consider the problem of imple...
Prasad Jayanti, Tushar Deepak Chandra, Sam Toueg