Sciweavers

1678 search results - page 55 / 336
» An ASM Specification of C
Sort
View
ESTIMEDIA
2006
Springer
13 years 11 months ago
Use of a Bit-true Data Flow Analysis for Processor-Specific Source Code Optimization
Nowadays, key characteristics of a processor's instruction set are only exploited in high-level languages by using inline assembly or compiler intrinsics. Inserting intrinsic...
Heiko Falk, Jens Wagner, André Schaefer
FPL
2006
Springer
125views Hardware» more  FPL 2006»
13 years 11 months ago
Application-Specific Memory Interleaving for FPGA-Based Grid Computations: A General Design Technique
Many compute-intensive applications generate single result values by accessing clusters of nearby points in grids of one, two, or more dimensions. Often, the performance of FGPA i...
Tom Van Court, Martin C. Herbordt
AIPS
2004
13 years 9 months ago
Domain-Specific Preferences for Causal Reasoning and Planning
We address the issue of incorporating domain-specific preferences in planning systems, where a preference may be seen as a "soft" constraint that it is desirable, but no...
James P. Delgrande, Torsten Schaub, Hans Tompits
JWSR
2008
109views more  JWSR 2008»
13 years 7 months ago
DsCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages
BPEL is emerging as an open-standards language for Web service composition. However, its procedural style can lead to inflexible and tangled code for managing a crosscutting aspec...
Qinyi Wu, Calton Pu, Akhil Sahai, Roger S. Barga
JMLR
2010
107views more  JMLR 2010»
13 years 2 months ago
Learning Instance-Specific Predictive Models
This paper introduces a Bayesian algorithm for constructing predictive models from data that are optimized to predict a target variable well for a particular instance. This algori...
Shyam Visweswaran, Gregory F. Cooper