4666 search results - page 119 / 934 » Equations on Timed Languages |
93
Voted
FPLE
1995
15 years 4 months ago
1995
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
102
Voted
POPL
1995
ACM
15 years 4 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
107
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
89
Voted
SIAMSC
2008
15 years 24 days ago
2008
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors convention...
107
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper deals with audio–video transmission over IP networks and proposes a method of estimating perceptual QoS (i.e., user–level QoS) in real time in terms of the inter...