647 search results - page 86 / 130 » Implementation of MAP: A system for mobile assistant program... |
196
click to vote
LCPC
1995
Springer
15 years 9 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
169
click to vote
IWPSE
2007
IEEE
16 years 4 days ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
159
click to vote
PLDI
2009
ACM
16 years 20 days ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
133
click to vote
ACSAC
2006
IEEE
15 years 12 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
152
Voted
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
Programming languages that provide multidimensional arrays and a flat linear model of memory must implement a mapping between these two domains to order array elements in memory....