NDLI: Computer-aided construction of concurrent systems

Please wait, while we are loading the content...

Topology control algorithms for wireless sensor networks: a critical survey

Early set to zero micro-pipeline

On OWL/SWRL mapping to UML/OCL

A comparative study of ANN and FES for predicting of cutting forces and tool tip temperature in turning

3D model of e-learning

Inversion of GRM for estimating leaf area index by remote sensing

Data driven approach to binarization of astronomical images

Method combination for information extraction

Anthropocentric video analysis for film and games postproduction

Race condition free asynchronous micro-pipeline units

Ontology creation using formal concepts approach

Application of fuzzy control approach in greenhouse automation

A lightweight model of computer based training for exam preparation

Stress assessment of car-drivers using EEG-analysis

ICP algorithm for alignment of stars from astronomical photographic images

Ethics and security in text mining of patient records in Bulgarian: the EVTIMA solution

Computer-aided construction of concurrent systems

Ultrasonic device for non-contact studying of materials

The approach of ensuring consistency of UML model based on rules

Comparision of numerical technique and artificiall intelligence techniques for performance modelling of a diesel engine

A software frame for modelling and runtime control of adaptive testing

Orthogonal multifilters image processing on astronomical images from scanned photographic plates

Adaptive web-based systems: from framework to implementation

Work-optimal routing in wavelength-division multiplexed three-dimensional dense optical tori

Decision table based approach for business rules modelling in UML/OCL

Performance and emission optimization of diesel engine by single and multi-objective genetic algorithms

Development of the scoring mechanism for the concept map based intelligent knowledge assessment system

Polyharmonic Daubechies type wavelets in image processing and astronomy, I

Optimizations in time series clustering and prediction

Evaluation of the support efficiency of hardware controllers for multi-digit 7-segment indicator displays

Framework for building ontology-based dynamic applications

Modeling of grinding wheel sharpness by using neural network

Influence of interpersonal perception on information and knowledge sharing in e-learning networks

Polyharmonic Daubechies type wavelets in image processing and astronomy, II

Integration of neural networks and expert systems for time series prediction

Discovering dynamic integrity rules with a rules-based tool for data quality analyzing

M-estimators over separable sets of representative points for template matching

Providing students with assessments that directly relate to their graduate employment

Diversifying activities to improve student performance in programming courses

Certifying data quality conformance

Template localization using invariant moments

Automata simulator

Automated evaluation of speech for electronic therapy of people with communicative disorders

Learning systems as ontology-based learning object repository

Solving project scheduling problems by maximum cut computation

Improving the UI of interactive training simulators to address the Y/Z-generations' learning style

How do you like intelligent virtual agents

An approach for node identification and key management in sensor grids

Adaptive web-based multiplexer educational tool

A framework for source code metrics

An approach for performance improvement of class of algorithms for synthesis of non-conflict schedule in the switch nodes

Teaching Java through different courses: multi-country experiences

An approach for software cost estimation

Computering simulation of schedule algorithm for high performance packet switch node modelled by the apparatus of generalized nets

Checking plagiarism in e-learning

Encoding watermark integers as self-inverting permutations

Evaluating options for implementing a geographically local community service for access network

Turnitin is not the primary weapon in the campaign against plagiarism

Comparison of several parallel API for cloth modelling on modern GPUs

Propagation models and harbor area network planning

An experiment with using Google tools for project supervision at tertiary education

Towards programming on the moving threads architecture

Service discovery and selection approaches in PeerHood environment

Constructing semantic ontologies for business analytics

Indoor navigation system for visually impaired

Testbed environment for experimental analysis and applications prototyping in body sensor networks

U-search: a meta engine for creation of knowledge paths on the web

Generating flight fares online in STADAF format

The system of qualitative and quantitative indicators for MPLS networks analysis

Do we still need to train them for distance teaching?: distance teachers attitudes

How do we collect data for software reliability estimation?

Dynamic stochastic optimisation using endogenous gridpoints for consumption in Lithuania

Importance of web 2.0- mediated competence for the educational demands on learners

Network-centric architecture for crisis management system

Experimental results for two implementations of a probabilistic algorithm for minimum distance of linear codes

IPv6 training in Europe

PSIRP project -- publish-subscribe internet routing paradigm: new ideas for future internet

EmoReSp: an online emotion recognizer based on speech

Traffic and congestion control in a publish/subscribe network

Products appreciation by facial expressions analysis

On quantum information and the protection by quantum codes

Potential formal models for autonomic computing applications

Coordination of work: towards a typology

One approach for creation of images and video for a multiview autostereoscopic 3D display

Web-based decision support system in regional water resources management

Towards online accessibility of valuable phenomena of the Bulgarian Folklore Heritage

Digitalization and security of "Bulgarian Folklore Heritage" archive

Agile systems development for the management of service oriented organizations

Module for investigation of the user's text reading speed on mobile devices

System for non-contact ultrasonic study of mediums and materials intended for embedding into automated manufacturing systems

Computer-aided construction of concurrent systems

Content Provider	ACM Digital Library
Author	Vechev, Martin
Abstract	Virtually all chips today, from high-end to embedded, are being built with multiple processor cores and the number of cores per chip is increasing. To effectively exploit these changes in technology, all future software will have to be concurrent. This poses tremendous challenge for programmers as building correct and efficient concurrent programs is known to be a very difficult problem. In this paper, we briefly survey some of the most recent techniques we have developed for assisting the programmer in automatically building safe and efficient concurrent systems. Our approach takes as input a concurrent program and a specification that the output program should satisfy. It then automatically infers correct and efficient synchronization which is implemented in the final output program. Using our techniques, we have automatically inferred the usage of a range of classic concurrency constructs such as atomic sections, Hoare's conditional critical regions and memory fences in weak memory models.
Starting Page	19
Ending Page	24
Page Count	6
File Format	PDF
ISBN	9781450302432
DOI	10.1145/1839379.1839383
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2010-06-17
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Synthesis Concurrency Inference Verification
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in