111 search results - page 8 / 23 » Sharing Is Caring: Combination of Theories |
JSYML
2002
14 years 11 months ago
2002
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
101
click to vote
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Conventional optical networks are based on SONET rings, but since rings are known to use bandwidth inefficiently, there has been much research into shared mesh protection, which pr...
191
click to vote
ISCA
2010
IEEE
15 years 4 months ago
2010
IEEE
As CMOS scales beyond the 45nm technology node, leakage concerns are starting to limit microprocessor performance growth. To keep dynamic power constant across process generations...
COLCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—During collaborative writing each author works on a copy of the shared document. These copies are then merged to produce the final document. This asynchronous work is supported...