41 search results - page 5 / 9 » Augmenting B with Control Annotations |
FUIN
2007
14 years 11 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
118
click to vote
SIGCSE
2005
ACM
15 years 5 months ago
2005
ACM
The University of Washington’s Classroom Presenter lecturing system enables an active lecturing environment by combining a standard electronic slide presentation format with the...
DAC
2005
ACM
15 years 1 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
HUC
2010
Springer
15 years 21 days ago
2010
Springer
(a) (b) Figure 1: (a) CAM running on an iPhone; (b) Reading a design sketch using Microsoft's TagReader client. In this paper, we report the results of a field trial of a Ubi...
NIPS
2003
15 years 29 days ago
2003
We explore the phenomena of subjective randomness as a case study in understanding how people discover structure embedded in noise. We present a rational account of randomness per...