Sciweavers

58 search results - page 2 / 12
» Automated Code Generation for Discontinuous Galerkin Methods
Sort
View
122
Voted
ECRTS
2005
IEEE
15 years 9 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega
ICMCS
2006
IEEE
134views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Modeling Blocking Visual Sensitivity Profile
Blocking artifact is the most prevailing degradation caused by block-based DCT coding techniques under low bit-rate conditions. To alleviate blockings perceptually, it is desirabl...
Guangtao Zhai, Wenjun Zhang, Xiaokang Yang, Yi Xu
ICAIL
1995
ACM
15 years 7 months ago
Automated Legislative Drafting: Generating Paraphrases of Legislation
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
Radboud Winkels, Nienke den Haan
152
Voted
EUROGRAPHICS
2010
Eurographics
15 years 11 months ago
Interactive High-Quality Visualization of Higher-Order Finite Elements
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
Markus Üffinger, Steffen Frey, Thomas Ertl
KBSE
2005
IEEE
15 years 9 months ago
Clearwater: extensible, flexible, modular code generation
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...
Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang...