10899 search results - page 412 / 2180 » The GP Programming System |
192
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
249
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...
188
Voted
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
137
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present the design and development of a Performance Data Representation System (PDRS) for scalable parallel computing. PDRS provides decision support that helps users find the r...
169
click to vote
IFIP
1992
Springer
15 years 11 months ago
1992
Springer
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...