spreading wood particles and attached colored materials in work places can cause many problems for woodwork industry workers. the aim of this study is to design and implement a local exhaust ventilation system to control wood dust and isocyanates simultaneously. the study was conducted on 18 workers in the paint workroom of a wood door industry. at first, an overview of the workplace indoor air...

Double-blind review relies on the authors’ ability and willingness to effectively anonymize their submissions. We explore anonymization effectiveness at ASE 2016, OOPSLA 2016, and PLDI 2016 by asking reviewers if they can guess author identities. We find that 74%–90% of reviews contain no correct guess and that reviewers who self-identify as experts on a paper’s topic are more likely to attempt...

In this paper we report our design and implementation of a new self-scheduling parallel programming language, SELSYN-C. Our approach to the challenge of parallel programming language design and implementation is twofold: (1) the design of simple extensions to C that are both easy to use, and useful for eeective compilation, and (2) the design of eecient and eeective scheduling strategies that c...

Various parallel Fortran languages have been developed over the years. The research work in creating this Parallel Fortran Family has made signiicant contributions to parallel programming language design and implementation. In this paper, various parallel Fortran languages are studied based on a uniform coordination approach towards parallel programming. That is, new language constructs in para...

DC has proved to be a promising tool for the specification and verification of functional requirements on the design of hard realtime systems. Many works were devoted to develop effective techniques for checking the models of hard real-time systems against DC specifications. DC model checking theory is still evolving and yet there is no available tools supporting practical verifications due to ...

The survivability or resilience of a network refers to network performance during abnormal operating modes. Network design for survivability is usually constrained by cost. For mobile networks an overriding constraint is the limit placed on radio-level capacity by a regulated frequency spectrum. We propose a load-sharing cell-site architecture and a novel load-based channel allocation scheme wh...