5904 search results - page 906 / 1181 » Requirements for a Composition Language |
121
click to vote
SCCC
1998
IEEE
15 years 8 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
174
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
111
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
131
click to vote
JSSPP
1998
Springer
15 years 8 months ago
1998
Springer
Metacomputing systems are intended to support remote and/or concurrent use of geographically distributed computational resources. Resource management in such systems is complicate...
130
click to vote
HPCA
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper represents a design study of the datapath for a very long instruction word (VLIW) video signal processor (VSP). VLIW architectures provide high parallelism and excellen...