28 search results - page 3 / 6 » sac 2000 |
SAC
2000
ACM
13 years 11 months ago
2000
ACM
ÁÒ Ø × ÖØ Ð ¸ Û ÔÖ × ÒØ Ý Ö Ñ Ø Ó ÓÐÓ Ý ÓÖ Ø Ü¹ Ø ×ÓÐÙØ ÓÒ Ó Ð Ö × Ð Ö Ð ÛÓÖÐ Ö Û × ÙÐ Ò ÔÖÓ ¹ Ð Ñ׺ ÇÙÖ ÔÔÖÓ ...
IFL
2000
Springer
13 years 10 months ago
2000
Springer
Sac is a functional array processing language particularly designed with numerical applications in mind. In this field the runtime performance of programs critically depends on the...
SAC
2000
ACM
13 years 11 months ago
2000
ACM
We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on finite domains. GNU-Prolog is based on a low-level mini-...
SAC
2000
ACM
13 years 11 months ago
2000
ACM
This paper presents a model for describing the synchronization between several media delivered over a network in a Web-based environment. Synchronization concerns the download and...
SAC
2000
ACM
13 years 10 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...