92 search results - page 2 / 19 » Specifying and Compiling Applications for RaPiD |
SIGSOFT
1994
ACM
13 years 9 months ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...
SIGMOD
2007
ACM
14 years 5 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
SC
2004
ACM
13 years 10 months ago
2004
ACM
There exist many application classes for which the users have significant flexibility in the quality of output they desire. At the same time, there are other constraints, such a...
SEFM
2006
IEEE
13 years 11 months ago
2006
IEEE
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...