284 search results - page 35 / 57 » Modularity of Completeness Revisited |
FMCO
2007
Springer
14 years 4 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
The full-custom CMOS realization of a new modular sorting architecture is presented. The high-performance architecture is based on rank ordering, and on efficient implementation o...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
NAR
2006
13 years 9 months ago
2006
The Simple Modular Architecture Research Tool 10 (SMART) is an online resource (http://smart.embl. de/) used for protein domain identification and the analysis of protein domain a...
MFCS
1995
Springer
14 years 1 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...