67 search results - page 1 / 14 » Terminal Embeddings |
LOPSTR
1998
Springer
14 years 3 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
SAMOS
2005
Springer
14 years 4 months ago
2005
Springer
SBACPAD
2007
IEEE
14 years 5 months ago
2007
IEEE
The necessity of devising novel thread-level speculation (TLS) techniques has become extremely important with the growing acceptance of multi-core architectures by the industry. H...
SFM
2004
Springer
14 years 4 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
WLP
1997
Springer
14 years 3 months 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...