Abstract

No Results Found

Abstract

We examine the mutual exclusion problem of concurrency through the systematic application of modern feedback control theory, by revisiting the classical problem involving mutual exclusion: the Generalised Dining Philosophers problem. The result is a modular development of the solution using the notions of system and system composition in a formal setting that employs simple equational reasoning. The modular approach separates the solution architecture from the algorithmic minutiae and has the benefit of simplifying the design and correctness proofs. Two variants of the problem are considered: centralised and distributed topology with N philosophers. In each case, solving the Generalised Dining Philosophers reduces to designing an appropriate feedback controller.

Abstract

With increasing computing power, capacity and internet connectivity, the ability to learn has crossed classroom boundaries in the form of online learning. The adoption rate and effectiveness of online learning continues to be an area of research. Collaborative and Cooperative (CoCo) learning involves a joint effort by students to understand and solve problems or tasks. Adoption of open source software has also increased with technology-aided collaboration and cooperation. Leveraging the practices of crowdsourced software development, we propose CoCo Learning approach for technical education using virtual labs. About 145 undergraduate engineering students from various institutes participated in our study for a period of one full semester. About 92% of the students conducted an average of 24 virtual experiments with this approach. Nearly 90% of the faculty from these institutes also confirmed that their students' understanding of courses has improved while delivering tangible software artifacts as outcomes.

Abstract

The importance of algorithms and data structures in computer science curricula has been amply recognized.For many students, however, gaining a good understanding of algorithms remains a challenge.Because of the automated nature of sequential algorithms there is an inherent tension in directly applying the ‘learning by doing’ approach. This partly explains the limitations of efforts like algorithm animationand code tracing.Algodynamics, the approach we propose and advocate, situates algorithms within the framework of transi-tion systems and their dynamics and offers an attractive approach for teaching algorithms. Algodynamics starts with the premise that the key ideas underlying an algorithm can be identified and packaged into interactive transition systems. The algorithm when ‘opened up’, reveals a transition system, shorn of most control aspects, enriched instead with interaction. The design of an algorithm can be carried out by constructing a series of interactive systems, progressively trading interactivity with automation. The setransition systems constitute a family of notional machines.We illustrate the algodynamics approach by considering Bubblesort. A sequence of five interactive tran-sition systems culminate in the classic Bubblesort algorithm. The exercise of constructing the individualsystems also pays off when coding Bubblesort: a highly modular implementation whose primitives are bor-rowed from the transition systems. The transition systems used for Bubblesort have been implemented as interactive experiments. These web based implementations are easy to build. The simplicity and flexibility afforded by the algodynamics framework makes it an attractive option to teach algorithms in an interactive way.

Abstract

Model checking is now a standard technology for verifying large and complex systems. While there are a range of tools and techniques to verify various properties of a system under consideration, in this work, we restrict our attention to safety checking procedures using explicit state space generation. The necessary hardware resources required in this approach depends on the model complexity and the resulting state transition graph that gets generated. This cannot be estimated apriori. For reasonably realistic models, the available main memory in even high end servers may not be sufficient. Hence, we have to use distributed safety verification approaches on a cluster of nodes. However, the problem of estimating the minimum number of nodes in the cluster for the verification procedure to complete successfully remains unsolved. In this paper, we propose a dynamically scalable model checker using an actor based architecture. Using the proposed approach, an end user can invoke a model checker hosted on a cloud platform in a push button fashion. Our safety verification procedures automatically expands the cluster by requesting more virtual machines from the cloud provider. Finally, the user gets to pay only for the hardware resources he rented for the duration of the verification procedure. We refer to this as Model Checking as Service. We approach this problem by proposing an asynchronous algorithm for safety checking in actor framework. The actor based approach allows for scaling the resources on a need basis and redistributes the work load transparently through state migration. We tested our approach by developing a distributed version of SpinJA model checker using Akka actor framework. We conducted our experiments on Google Cloud Engine (GCE) platform wherein we scale our resources automatically using the GCE API. On large models such as anderson.8 from BEEM benchmark suite, our approach reduced the model checking cost in dollars by 8.6x while reducing the wall clock time to complete the safety checking procedure 5.5x times.

Abstract

India graduates 1.5 million engineering students every year, majority of them from its Tier 2 and Tier 3 colleges where there is severe shortage of qualified faculty and lab infrastructure, and where English is second or third language for most students. To provide affordable virtual laboratories to these engineering colleges, Government of India runs the Virtual Labs project with a select set of participating institutions to create virtual labs required for entire engineering student population of India. The program suffers from two problems: 1) lack of focus on pedagogy and learnability of labs being created, and 2) little ability to scale to more teachers and subject matter experts to produce labs aligned to local contexts. This paper presents a model (LEAD model) for the design of virtual labs for a data structures and algorithms course in computer science and is intended to address the problems stated above. The model …

Abstract

Virtual Labs is an MHRD (Ministry of Human Resource Development, India) initiative in which over 1100 virtual experiments are freely available to engineering students across India and the rest of the globe to access and learn. Until the beginning of 2018, the lab usages by students were mostly in the push mode during the workshops. The average usage per workshop was significantly low, at about 8 usages per student. Interventions were proposed in the process to improve the usage by enhancing 'Arousal' and 'Choices' as students' motivation. Qualitative observation of the results shows that students conducted more than the requested 15 experiments, along with the expectation of instant appreciation and recognition. This change in the process to create extrinsic motivation increased the usage per student from 8.62 to 19.7. self-reported motivation levels of students after doing the experiments improved from 5 to …

Abstract

Student internships are necessary for every student to learn and apply the learning to deliver tangible and relevant outcomes. In-person internship opportunities are less in number and have major challenges in scaling such as lesser number of available projects in relevant technologies, inadequate mentorship during the internship, varying college calendars and others. This paper presents SRIP (Student Remote Internship Program) approach which focuses on the domain of programming in open source technologies and projects for the internships that are relevant to 2nd and 3rd year engineering college students. It aims to overcome the stated challenges and simultaneously make a contribution to the open source community. Virtual Labs is the open source repository that we leveraged to implement SRIP pilot study for interns to contribute and develop programming skills.

Abstract

Domain Specific Modeling Languages (DSML) significantly improve productivity in designing Computer Based System (CBS), by enabling them to be modeled at higher levels of abstraction. It is common for large and complex systems with distributed teams, to use DSMLs, to express and communicate designs of such systems uniformly, using a common language. DSMLs enable domain experts, with no or minimal software development background, to model solutions, using the language and terminologies used in their respective domains. Although, there are already a number of DSMLs available for modeling CBSs, their need is felt strongly across multiple domains, which still are not well supported with DSMLs. Developing a new DSML, however, is non trivial, as it requires (a) significant knowledge about the domain for which the DSML needs to be developed, as well as (b) skills to create new languages. In the …

Abstract

Most financial institutions, NGOs, and self help groups (SHG) are now using web technology to create outreach. However, for non-mainstream users, like those in rural India, the web application’s non vernacular language, unfamiliar terminology, complex financial models, and user’s own poor digital exposure, together creates a mistrust in the web applications, which tends to result in poor adoption. This inhibits financial literacy initiatives and slows down Financial Inclusion, which is a Millennium Goal. We treat this as a web accessibility problem, and look for prior work on transforming published web content for making it suitable for easy consumption by non-mainstream users. To this end we present a systematic literature review, which forages through 1068 records related to page transformation, to RQ1) uncover existing motivators for transforming an existing web page, RQ2) surface the approaches taken, and …