2362 search results - page 192 / 473 » Programming in Standard ML |
132
Voted
ICCL
1998
IEEE
15 years 8 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
134
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
125
Voted
ICS
1997
Tsinghua U.
15 years 8 months ago
1997
Tsinghua U.
Standard restructuring compiler tools are based on polyhedral algebra and cannot be used to analyze or restructure sparse matrix codes. We have recently shown that tools based on ...
138
click to vote
ECOOP
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
153
click to vote
ISMIS
1994
Springer
15 years 8 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...