7109 search results - page 90 / 1422 » Process Algebra with Combinators |
77
Voted
ARTS
1997
Springer
15 years 2 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
83
Voted
ENTCS
2002
14 years 10 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
114
click to vote
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
To exploit the potential of multicore architectures, recent dense linear algebra libraries have used tile algorithms, which consist in scheduling a Directed Acyclic Graph (DAG) of...
ACSD
2006
IEEE
15 years 4 months ago
2006
IEEE
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
SIGMOD
2005
ACM
15 years 3 months ago
2005
ACM
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...