689 search results - page 48 / 138 » Program transformations for information personalization |
106
click to vote
ECRTS
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
134
click to vote
JFP
2002
15 years 2 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
115
click to vote
WOSP
2000
ACM
15 years 6 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
101
Voted
WPES
2003
ACM
15 years 7 months ago
2003
ACM
We give an efficient protocol for sequence comparisons of the edit-distance kind, such that neither party reveals anything about their private sequence to the other party (other t...
120
click to vote
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—1 In this paper, we consider an amplify-and-forward (AF) wireless relay system where multiple source nodes communicate with their corresponding destination nodes with the help o...