58 search results - page 2 / 12 » Automated Code Generation for Discontinuous Galerkin Methods |
ECRTS
2005
IEEE
14 years 1 months ago
2005
IEEE
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...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
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...
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
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...
EUROGRAPHICS
2010
Eurographics
14 years 2 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...