A hardware/software co-design for AI accelerators such as Neural Processing Unit (NPU) is essential not only to support the required functionality but also to meet primary goals of improved performance and power effic...
详细信息
software Process Improvement (SPI) models are a very important topic for SPI workers as softwareengineering students that require a good comprehension of the process assessment models. This paper proposes a visual mu...
详细信息
ISBN:
(纸本)9783319673837;9783319673820
software Process Improvement (SPI) models are a very important topic for SPI workers as softwareengineering students that require a good comprehension of the process assessment models. This paper proposes a visual multi-layered representational model describing in a highly practical way the ISO/IEC 33000 Assessment Framework through of structural and behavioural views. This kind of representation comprises several semantic layers based on the dimensions of the key elements of the model with an additional dimension for specifying measurements. The structural elements of the model are assigned on distinct layers and connected through dependence and co-occurrence connector in applying the Assessment Model on software processes. The representation model was tested with software developers, academic experts and students.
Innovation communities have emerged in recent years. There are increasingly being utilized by enterprises as a tool to collect knowledge and to nourish internal innovations. based on the qualitative method of grounded...
详细信息
In applications where data needs to be shared among distributed components it is desirable to have overall data consistency at all times. This is crucial for safety-critical systems, where inconsistency can lead to fa...
详细信息
ISBN:
(纸本)0769519210
In applications where data needs to be shared among distributed components it is desirable to have overall data consistency at all times. This is crucial for safety-critical systems, where inconsistency can lead to failures. Overall continuous data consistency is, however, rarely possible to achieve. For distributed systems, a relaxed view based on the temporal validity of data can be proven sufficient. If components in a distributed computer-based system have different temporal validity constraints for the same data, then as long as these constraints are satisfied overall system inconsistency is not harmful. We propose the use of a formal analysis technique for guaranteeing temporal validity of shared data. The approach is based on a real-time temporal logic of knowledge suitable for verification through model checking. It allows us to check that the shared data in the system is consistent "enough" and cannot be a source of failure. We illustrate the approach with an open dynamic real-time distributed computer-based system.
Among highly desirable soft skill sets, entrepreneurship has received increasing attention in recent years in the engineering education community. This paper describes a Project-based Learning approach to integrating ...
详细信息
Among highly desirable soft skill sets, entrepreneurship has received increasing attention in recent years in the engineering education community. This paper describes a Project-based Learning approach to integrating entrepreneurship into an upper-level undergraduate manufacturing course entitled Machining Theory and Applications that was taught by the author of this paper at Utah State University. The students in the class were divided into six teams working on a variety of projects. Each project included three tasks: developing a computer software program for machining simulations, developing the associated business plan, and writing the business plan and orally presenting the project results. A representative example of student projects and associated business plans is provided in the paper. The students. attitudes toward and experiences with their projects were surveyed using a Likert-type and open-ended questionnaire at the end of the semester. The survey results indicated that 85.8% of students rated the overall experience with their projects positive or very positive, 81.0% of students agreed or very agreed that their business knowledge was improved by developing a business plan, and 90.4% of students agreed or very agreed that it is necessary and important to integrate entrepreneurship into manufacturing engineering education.
This paper investigates characteristics of Open Source software (OSS) development projects based on the number of participants and their roles and activities in the areas of Games and Science/engineering. We utilized ...
详细信息
ISBN:
(纸本)9781936338627
This paper investigates characteristics of Open Source software (OSS) development projects based on the number of participants and their roles and activities in the areas of Games and Science/engineering. We utilized Principle Component Analysis (PCA) and clustering over the data from ***, and the features that we considered and analyzed for this study include number of users, number of developers, number of message postings, number of file releases, and project subcategories. For the categories of Games and engineering, the three most active subcategories within each were identified, and the result indicates that most of the Games and engineering projects have similar characteristics in terms of the selected features and are small with about five users. The result also shows that a group of engineering projects seem highly specialized and require more subject knowledge in executing the projects than other Games projects.
In order to address problems encountered in the design of rule-based and expert systems the paper discusses a proposal of a new approach to rule-based system design and verification using an integrated CASE tool suppo...
详细信息
In order to address problems encountered in the design of rule-based and expert systems the paper discusses a proposal of a new approach to rule-based system design and verification using an integrated CASE tool supporting visual design of rule-based systems. The Mirella tool allows for dynamic on-line specification of components of the knowledge with simultaneous analysis of the rule-based system during the design phase. The main idea is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation, called extended Tabular Trees, supported by Mirella CASE tool. It consists of visual design environment integrated with Prolog-based analysis and verification engine. Along with editor's built in on-line checking capabilities it improves system performance and safety. Selected implementation aspects are also highlighted. The environment is implemented in ANSI C in the GNU/Linux environment using Gtk/GNOME/SWI-Prolog development platform. This makes it both efficient and portable. The tool has a multilayer, multimodule architecture which gives it flexibility and allows for future extensions.
In a traditional (t, n)-threshold secret sharing scheme, the secret key K can be shared only one time for this reason that one of participants, who participates in reconstruction of K, may be dishonest and probably le...
详细信息
ISBN:
(纸本)9780769534893
In a traditional (t, n)-threshold secret sharing scheme, the secret key K can be shared only one time for this reason that one of participants, who participates in reconstruction of K, may be dishonest and probably leaks K. In this paper, based on multi-prover zero-knowledge arguments and secure multi-party computation protocol, we will construct a (t, n) -threshold secret sharing scheme in which the secret key K will be shared forever if at most t - 1 participants are dishonest and discrete logarithm problem is hard.
From the point of view of computer science, especially artificial intelligence, the task of natural language understanding is to establish a computer model. This computer model can give the result of understanding nat...
详细信息
In this Research Full paper, we present a comparative study of using two pedagogical approaches, Peer Instruction (PI) and Process Oriented Guided Inquiry Learning-like (POGIL-like) in software testing. We discuss our...
详细信息
ISBN:
(纸本)9798350336429
In this Research Full paper, we present a comparative study of using two pedagogical approaches, Peer Instruction (PI) and Process Oriented Guided Inquiry Learning-like (POGIL-like) in software testing. We discuss our results from multiple studies conducted over a period of four years, both in-person and online, using both PI and POGIL-like in undergraduate softwareengineering classrooms. Our particular focus is on the topics of unit testing, integration testing, and continuous integration. We compare learning outcomes and shifts in student attitudes compared to pure lecture-based instruction. We included two studies conducted using PI in undergraduate softwareengineering classes. In these studies, we examined how PI can be used to teach the 3 topics mentioned above. They replicated their own studies over a period of two years and found consistently significant cognitive gains and positive affective shifts in both an in person and online class. For POGIL-like, we included two studies in an undergraduate softwareengineering class - one in-person, and one online. The intervention design centered around the core tenets of POGIL: no prior information given to students (which is the exact opposite of a flipped classroom), and carefully crafted 'models' and 'activities'. POGIL-like utilizes 'learning cycles', and activity questions are crafted based on the Explore-Invent-Apply cycle combined with Directed/Convergent/Divergent question types, all aimed at encouraging students to leverage the collective knowledge of the group. These approaches, based on social constructivist concepts, have been well studied in STEM disciplines but are relatively recent arrivals in CS. Our particular contribution is that we analyze both pedagogies in teaching software testing, using results from studies that utilized the same instructor and course materials. We analyze the similarities and differences between both pedagogical approaches, and rate their suitability in teaching software eng
暂无评论