8109 search results - page 1250 / 1622 » A Model of Component-Based Programming |
193
click to vote
WECWIS
2000
IEEE
15 years 11 months ago
2000
IEEE
In order to meet the quality of service demanded by a growing number of online customers, e-commerce services need to use scalability techniques. This paper introduces the concept...
167
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
198
click to vote
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
150
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
184
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...