562 search results - page 36 / 113 » Concurrent Turing Machines |
KDD
1995
ACM
15 years 3 months ago
1995
ACM
The main objective of machine discovery is the determination of relations between data and of data models. In the paper we describe a method for discovery of data models represent...
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
PDCAT
2004
Springer
15 years 5 months ago
2004
Springer
A wireless sensor network is characterized as a massively distributed and deeply embedded system. Such a system requires concurrent and asynchronous event handling as a distributed...
DATE
2002
IEEE
15 years 4 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
ADC
2004
Springer
15 years 5 months ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...