1271 search results - page 79 / 255 » On Simulation-Checking with Sequential Systems |
ASPLOS
2008
ACM
14 years 24 days ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
ENTCS
2002
13 years 10 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
TCAD
1998
13 years 10 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
TABLETOP
2007
IEEE
14 years 5 months ago
2007
IEEE
Many tabletop systems have been developed, but few of them deal with the problems of visualizing and manipulating a large amount of information such as files on a tabletop that i...
PPDP
2001
Springer
14 years 3 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...