1870 search results - page 6 / 374 » Abstract And-Parallel Machines |
ICTAI
2010
IEEE
13 years 5 months ago
2010
IEEE
The abstract goes here.
JLP
2002
13 years 7 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
SAS
2010
Springer
13 years 6 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
ECML
2005
Springer
14 years 1 months ago
2005
Springer
ENTCS
2008
13 years 8 months ago
2008
Abstract Machine Greg Manning1 Detlef Plump2 Department of Computer Science The University of York, UK duce the York Abstract Machine (YAM) for implementing the graph programming ...