626 search results - page 11 / 126 » Abstract Modularity |
LFCS
1992
Springer
14 years 1 months ago
1992
Springer
d Abstract) Alexander Rabinovich IBM Research Center P.O. Box 218, Yorktown lleights, NY 10598 e.maih alikQtvatson.ibm.com
ASM
2005
ASM
13 years 12 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...
JCST
2008
13 years 9 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
FPL
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents the Customisable Modular Platform (CMP) approach. The aim is to accelerate FPGA application developraising the level of abstraction and facilitating design reus...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
We present a novel proof of Toyama's famous modularity of confluence result for term rewriting systems. Apart from being short and intuitive, the proof is modular itself in th...