5451 search results - page 508 / 1091 » Typed Operational Semantics |
178
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and due...
184
click to vote
INFOVIS
1997
IEEE
15 years 11 months ago
1997
IEEE
In information visualization, as the volume and complexity of the data increases, researchers require more powerful visualization tools that enable them to more effectively explor...
155
click to vote
FOCS
1993
IEEE
15 years 11 months ago
1993
IEEE
Let M be a fixed finite monoid. We consider the problem of implementing a data type containing a vector x ϭ ( x1, x2, . . . , xn) ʦ Mn , initially (1, 1, . . . , 1), with two kin...
169
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
In event stream applications, events flow through a network of components that perform various types of operations, e.g., filtering, aggregation, transformation. When the operatio...
187
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Proposed text to specify an interval class in the C++ standard library, with justification and background. Contents I Motivation and Scope 3 II Foundations 3 IIIImpact on the Stan...