1188 search results - page 205 / 238 » Testing Semantics: Connecting Processes and Process Logics |
115
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
119
click to vote
ISPASS
2009
IEEE
15 years 8 months ago
2009
IEEE
Until very recently, microprocessor designs were computation-centric. On-chip communication was frequently ignored. This was because of fast, single-cycle on-chip communication. T...
156
click to vote
PODS
1994
ACM
15 years 6 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...
139
click to vote
BC
2005
15 years 1 months ago
2005
Abstract Weproposeacomputationalmodelofcontourintegration for visual saliency. The model uses biologically plausible devices to simulate how the representations of elements aligned...
144
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: High throughput microarray analyses result in many differentially expressed genes that are potentially responsible for the biological process of interest. In order to ...