10072 search results - page 1936 / 2015 » Composition of Model Programs |
107
click to vote
ISCA
1997
IEEE
15 years 6 months ago
1997
IEEE
The SGI Origin 2000 is a cache-coherent non-uniform memory access (ccNUMA) multiprocessor designed and manufactured by Silicon Graphics, Inc. The Origin system was designed from t...
112
click to vote
WETICE
1997
IEEE
15 years 6 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...
148
Voted
ZUM
1997
Springer
15 years 6 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
MFPS
1989
15 years 6 months ago
1989
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
125
click to vote
CEC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper proposes a unique feedback governed multi layered architectural model to support ISP's traffic demands with multiple Quality of Service(QoS) constraints. The propos...