58 search results - page 2 / 12 » Automated Code Generation for Discontinuous Galerkin Methods |
ECRTS
2005
IEEE
13 years 11 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
13 years 11 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 9 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 23 days 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
13 years 11 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...