4397 search results - page 450 / 880 » Relational Algebra Operations |
192
Voted
XSYM
2004
Springer
16 years 6 days ago
2004
Springer
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
175
click to vote
IEEEPACT
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper analyzes an Intel Pentium 4 hyper-threading processor. The focus is to understand its performance and the underlying reasons behind that performance. Particular attenti...
138
Voted
APN
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal str...
182
Voted
BIRTHDAY
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
179
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...