10585 search results - page 1983 / 2117 » The Orc Programming Language |
106
click to vote
CHI
1998
ACM
15 years 4 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
108
click to vote
ECOOPW
1998
Springer
15 years 4 months ago
1998
Springer
Enterprise Java Beans (EJB), a specification for a Java component framework recently released by Sun Microsystems, immediately attracted attention of several major software vendor...
FMCAD
1998
Springer
15 years 4 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...
101
click to vote
ASAP
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applicati...
114
Voted
PEPM
1998
ACM
15 years 4 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...