Continuation Semantics for Asynchronous Concurrency G.Ciobanu and E.N.Todoran Approved for public release; further dissemination unlimited. Prepared by Formal Methods Laboratory. Series of Technical Reports (Institute of Computer Science Iaşi) ISSN 1842 1490 FML is the Formal Methods Laboratory from the Institute of Computer Science of the Romanian Academy and is located in Iaşi. It is a resear...

Asynchronous circuits are widely used in many real time applications such as digital communication and computer systems. The design of complex asynchronous circuits is a di cult and error-prone task. An adequate synthesis method will signi cantly simplify the design and reduce errors. In this paper, we present a general and e cient partitioning approach to the synthesis of asynchronous circuits...

In the literature it is often assumed that females are at a disadvantage when working with the computer. Whereas differences could be found in attitudes towards computers (Whitley, 1997) there are only few studies examining performance. As gender per se can not explain performance differences, we used the cognitive-motivational process model (Vollmeyer & Rheinberg, 1999, 2000) to find possible ...

Article history: Received 26 May 2011 Received in revised form 5 March 2012 Accepted 6 March 2012 Current auditing standards require auditors to conduct a fraud brainstorming session aimed at considering ways in which the audit client's financial statements might be fraudulently misstated. Lynch et al. (2009) document that computer-mediated fraud brainstorming is significantly more effective th...

The present study integrates cognitive and affective aspects of media processing in order to make an argument for reexamining the current cold cognition perspective in multimedia research in favor of a more integrative perspective. The Cognitive-Affective-Theory-of-Learning-with-Media (CATLM) assumes that students need to become motivated to make full use of their cognitive resources. Therefore...