Sciweavers

2171 search results - page 112 / 435
» A Generic Process Algebra
Sort
View
SIGMOD
2005
ACM
133views Database» more  SIGMOD 2005»
15 years 6 months ago
A Nested Relational Approach to Processing SQL Subqueries
One of the most powerful features of SQL is the use of nested queries. Most research work on the optimization of nested queries focuses on aggregate subqueries. However, the solut...
Bin Cao, Antonio Badia
MMM
2008
Springer
114views Multimedia» more  MMM 2008»
15 years 7 months ago
Using Fuzzy Lists for Playlist Management
The increasing popularity of music recommendation systems and the recent growth of online music communities further emphasizes the need for effective playlist management tools able...
François Deliège, Torben Bach Peders...
VLDB
1997
ACM
93views Database» more  VLDB 1997»
15 years 5 months ago
A Language for Manipulating Arrays
This paper describes the Array Manipulation Language (AML), an algebra for multidimensional array data. AML is generic, in the sense that it can be customized to support a wide va...
Arunprasad P. Marathe, Kenneth Salem
SIGPLAN
2002
15 years 24 days ago
Pattern-matching and rewriting rules for group indexed data structures
In this paper, we present a new framework for the definition of various data structures (including trees and arrays) together with a generic language of filters enabling a rule-ba...
Jean-Louis Giavitto, Olivier Michel, Julien Cohen
COORDINATION
2009
Springer
16 years 1 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti