2000 search results - page 348 / 400 » Program Transformation and Proof Transformation |
152
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
The ParAccel Analytic DatabaseTM is a fast shared-nothing parallel relational database system with a columnar orientation, adaptive compression, memory-centric design, and an enha...
163
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
VieDAME is a tool for monitoring and dynamic service adaptation of BPEL processes. The tool monitors partner service interaction to compute Quality of Service (QoS) data and perfo...
ALT
2003
Springer
15 years 7 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
Timing budgeting under process variations is an important step in a statistical optimization flow. We propose a novel formulation of the problem where budgets are statistical ins...