162 search results - page 30 / 33 » A Relational Approach to the Compilation of Sparse Matrix Pr... |
130
click to vote
IFL
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
112
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
WOTUG
2008
15 years 2 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
123
click to vote
ICML
2006
IEEE
16 years 2 months ago
2006
IEEE
Clustering is one of the most widely used statistical tools for data analysis. Among all existing clustering techniques, k-means is a very popular method because of its ease of pr...
215
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...