1147 search results - page 191 / 230 » Termination in language-based systems |
IDMS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. This paper describes a world wide collaboration system through multimedia Post-its (user generated annotations). DIANE is a service to create multimedia annotations to ev...
WADT
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
VL
1996
IEEE
14 years 2 months ago
1996
IEEE
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
DAC
1996
ACM
14 years 2 months ago
1996
ACM
Measured Equation of Invariance(MEI) is a new concept in computational electromagnetics. It has been demonstrated that the MEI technique can be used to terminate the meshes very c...
SPDP
1993
IEEE
14 years 2 months ago
1993
IEEE
In this paper, we propose a new parallel genetic alge rithm (GA), called Extended Distributed Genetic Algorithm (EDGA), for channel routing problem. The EDGA combines the advantag...