164 search results - page 26 / 33 » Quotient Complexity of Regular Languages |
HPDC
1993
IEEE
1993
IEEE
An Analysis of Distributed Computing Software and Hardware for Applications in Computational Physics
14 years 1 months ago
We have implemented a set of computational physics codes on a network of IBM RS/6000 workstations used as a distributed parallel computer. We compare the performance of the codes ...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
In a previous study, we showed that indentation was regular across multiple languages and the variance in the level of indentation of a block of revised code is correlated with me...