524 search results - page 63 / 105 » Application of Graph Transformation in Verification of Dynam... |
126
click to vote
STACS
1997
Springer
15 years 7 months ago
1997
Springer
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
127
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of o...
130
Voted
BXML
2003
15 years 4 months ago
2003
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...
122
click to vote
FCCM
2008
IEEE
15 years 3 months ago
2008
IEEE
Communications infrastructure for modular reconfiguration of FPGAs needs to support the changing communications interfaces of a sequence of modules. In order to avoid the overhead...
136
click to vote
ESTIMEDIA
2009
Springer
15 years 1 months ago
2009
Springer
The increasing demand for low power and high performance multimedia embedded systems has motivated the need for effective solutions to satisfy application bandwidth and latency req...