COGNITIVE STYLE is a "potent learner characteristic that can have a significant effect on learner achievement" (Hayes & Allinson, 1997, p. 185). However, further exploration is required before links amon...
详细信息
Jeliot 2000 is a program animation system intended for teaching introductory computerscience to high school students. A program animation system is a system that displays a dynamic graphical representation of the exe...
详细信息
Assimilating a new CS curriculum requires appropriate in-service training. The emphasis in the new CS curriculum upon conceptual understanding requires teachers to become aware of characteristic ways in which students...
详细信息
ISBN:
(纸本)1581136722
Assimilating a new CS curriculum requires appropriate in-service training. The emphasis in the new CS curriculum upon conceptual understanding requires teachers to become aware of characteristic ways in which students construct their knowledge and of common student difficulties. In this paper we describe a regional CS teacher workshop in which action research was used to trigger changes in teachers' knowledge and approach and especially to promote awareness of students' conceptual understanding. The favorable teacher evaluation of the workshop, and the action research products indicate that the workshop design promoted the beginning of a teacher change necessary for assimilating the new CS curriculum and establishing a collaborative community of teachers.
The paper develops novel bounded model checking (BMC) techniques for labeled transition systems. The aim is to increase the efficiency of BMC by exploiting the inherent concurrency in the product of LTSs in order to c...
详细信息
This paper illustrates a formal technique for describing timing properties and resource constraints of pipelined out of order superscalar processor instructions at a high level. The degree of parallelism depends on th...
详细信息
This paper is about the tool-suite MOTOR that supports the modeling and analysis of Modest specifications. In particular, we discuss its tool architecture, and the implementation details of the tool components that do...
详细信息
Signal transition graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent and complete binary encoding. Checking th...
详细信息
Signal transition graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent and complete binary encoding. Checking this is EXPSPACE-hard for arbitrary STGs, and so a lot of attention has been devoted to the subclass of free-choice STGs, which offers a good compromise between expressive power and analyzability. In the last years, polynomial time synthesis techniques have been developed for free-choice STGs, but they assume that the STG has a consistent binary encoding. The first polynomial algorithm for checking consistency is presented here.
The Chinese information manipulation system is the base of the navigating system. Distinguishing the noise words from the significant words, and picking up the semantics from the text are unsolved difficult problems. ...
详细信息
The Chinese information manipulation system is the base of the navigating system. Distinguishing the noise words from the significant words, and picking up the semantics from the text are unsolved difficult problems. We bring forward the information manipulation method combining the key indexing method with the whole-length indexing method, by comparing main indexing methods in common use in the information indexing system and taking the Chinese features of the internal information navigating system. Its implementation is also provided. This new method preferably provides the full and nicety retrieval and solutes the increasing problems of the indexing space. In the end, the indexing method to the data which is manipulated by the Chinese information manipulation system is also provided.
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow problems for this model are undecidabl...
详细信息
暂无评论