1870 search results - page 6 / 374 » Abstract And-Parallel Machines |
111
Voted
ICTAI
2010
IEEE
14 years 10 months ago
2010
IEEE
The abstract goes here.
90
Voted
JLP
2002
15 years 24 days 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...
106
Voted
SAS
2010
Springer
14 years 11 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...
86
Voted
ECML
2005
Springer
15 years 6 months ago
2005
Springer
91
Voted
ENTCS
2008
15 years 1 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 ...