Sciweavers

4722 search results - page 285 / 945
» Encoding Program Executions
Sort
View
GRAPHICSINTERFACE
2008
15 years 8 months ago
A GPU-friendly method for high dynamic range texture compression using inverse tone mapping
In recent years, High Dynamic Range Textures (HDRTs) have been frequently used in real-time applications and video-games to enhance realism. Unfortunately, HDRTs consume a conside...
Francesco Banterle, Kurt Debattista, Patrick Ledda...
CORR
2008
Springer
142views Education» more  CORR 2008»
15 years 6 months ago
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
Paul Tarau
EDBT
2006
ACM
191views Database» more  EDBT 2006»
16 years 6 months ago
Parallelizing Skyline Queries for Scalable Distribution
Skyline queries help users make intelligent decisions over complex data, where different and often conflicting criteria are considered. Current skyline computation methods are rest...
Ping Wu, Caijie Zhang, Ying Feng, Ben Y. Zhao, Div...
SAMOS
2007
Springer
16 years 22 days ago
Towards Multi-application Workload Modeling in Sesame for System-Level Design Space Exploration
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
Mark Thompson, Andy D. Pimentel
POLICY
2005
Springer
16 years 3 days ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...