Sciweavers

10625 search results - page 499 / 2125
» Supporting delay-intolerant applications
Sort
View
TPHOL
2003
IEEE
16 years 11 days ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd
AC
2003
Springer
16 years 10 days ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring
ICCS
2003
Springer
16 years 9 days ago
DDEMA: A Data Driven Environment for Multiphysics Applications
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
John Michopoulos, Panagiota Tsompanopoulou, Elias ...
ASAP
2002
IEEE
103views Hardware» more  ASAP 2002»
16 years 2 days ago
PAPA - Packed Arithmetic on a Prefix Adder for Multimedia Applications
This paper introduces PAPA: Packed Arithmetic on a Prefix Adder, a new approach to parallel prefix adder design that supports a wide variety of packed arithmetic computations, inc...
Neil Burgess
COOPIS
2002
IEEE
16 years 2 days ago
A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
Boris Motik, Alexander Maedche, Raphael Volz