3221 search results - page 44 / 645 » Termination of Linear Programs |
MCMASTER
1993
13 years 12 months ago
1993
With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...
ESOP
2011
Springer
12 years 11 months ago
2011
Springer
JMLR
2012
11 years 10 months ago
2012
ICDCS
1998
IEEE
14 years 4 days ago
1998
IEEE
Heartbeat protocols are used by distributed programs to ensure that if a process in a program terminates or fails, then the remaining processes in the program terminate. We presen...
WLP
1997
Springer
14 years 10 hour ago
1997
Springer
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...