4917 search results - page 824 / 984 » Software Engineering is Not Computer Science |
136
click to vote
FOSSACS
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
157
click to vote
TACS
1994
Springer
15 years 9 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
148
click to vote
CASES
2004
ACM
15 years 8 months ago
2004
ACM
With the ever-increasing pervasiveness of the Internet and its stringent performance requirements, network system designers have begun utilizing specialized chips to increase the ...
152
click to vote
CGO
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we describe a generalized approach to deriving a custom data layout in multiple memory banks for array-based computations, to facilitate high-bandwidth parallel mem...
165
click to vote
CGO
2004
IEEE
15 years 8 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...