310 research outputs found
Synthesis of Fault-Tolerant Concurrent Programs (Extended Abstract)
No full text) Anish ARORA 1 Department of Computer Science The Ohio State University [email protected] Paul C. ATTIE 2 School of Computer Science Florida International University [email protected] E. Allen EMERSON 3 Department of Computer Sciences The University of Texas at Austin [email protected] Abstract Methods for mechanically synthesizing concurrent programs from temporal logic specifications obviate the need to manually construct a program and compose a proof of its correctness [EC82, MW84, PR89, PR89b, AM94]. A serious drawback of extant synthesis methods, however, is that they produce concurrent programs for models of computation that are often unrealistic. In particular, these methods assume completely fault-free operation, i.e., the programs they produce are fault-intolerant. In this paper, we show how to mechanically synthesize fault-tolerant concurrent programs for various fault classes. We illustrate our method by synthesizing fault-tolerant solutions to the mutual..
Synthesis of Fault-Tolerant Concurrent Programs
No full text) Paul C. ATTIE z School of Computer Science Florida International University [email protected] Anish ARORA x Department of Computer Sciences The Ohio State University [email protected] E. Allen EMERSON -- Department of Computer Sciences The University of Texas at Austin [email protected] Abstract Methods for mechanically synthesizing concurrent programs from temporal logic specifications have been proposed (cf. [EC82, MW84, PR89, PR89b, AM94]). An important advantage of these synthesis methods is that they obviate the need to manually construct a program and compose a proof of its correctness. A serious drawback of these methods in practice, however, is that they produce concurrent programs for models of computation that are often unrealistic. In particular, all extant synthesis methods assume completely fault-free operation, i.e., the programs they produce are fault-intolerant. In this paper, we show how to mechanically synthesize fault-tolerant concurrent program..
Micro-power Pulsed-Doppler Radar Clutter and Displacement Source Classification Dataset
No full textThis is the official dataset for the ACM BuildSys 2019 publication One Size Does Not Fit All: Multi-Scale, Cascaded RNNs for Radar Classification.
The training code for MSC-RNN can be found at https://github.com/dhruboroy29/MSCRNN
Kindly cite this work as:
@article{roy2019one,
title={One Size Does Not Fit All: Multi-Scale, Cascaded RNNs for Radar Classification},
author={Roy, Dhrubojyoti and Srivastava, Sangeeta and Kusupati, Aditya and Jain, Pranshu and Varma, Manik and Arora, Anish},
journal={arXiv preprint arXiv:1909.03082},
year={2019}
}
</pre
Calling for Culpability: Anish Kapoor's Dirty Corner
No full textBeginning in 2008, The Château of Versailles has hosted temporary exhibitions by contemporary artists. This paper looks at the backlash incurred against the exhibition by British-Indian artist Anish Kapoor, specifically his sculpture Dirty Corner. After Dirty Corner was vandalized with antisemitic hate speech, the artist pushed back against removing the graffiti, which only compounded the already antagonistic relationship between Kapoor, Versailles, and the public.
This paper posits that Kapoor’s refusal to cleanse Dirty Corner of its anti-Semitic defacement confronts France’s lingering denial of responsibility in both the Holocaust during WWII, and the nation’s burgeoning xenophobia in the wake of the European Refugee Crisis.student peer reviewed journal articlefinal article publishe
Evaluating spatial equity in bike share systems
No full textThis research analyzes 10 of the largest third generation docked bike share systems in the United States along with 3 docked bike share systems in New Jersey. These bike share systems were carefully selected to reflect diversity in their size and age, and their host region’s size and geography as well as data availability.This report was developed by the New Jersey Bicycle and Pedestrian Resource Center within the Alan M. Voorhees Transportation Center (VTC) at Rutgers, The State University of New Jersey. The research team included Charles T. Brown, MPA, Principal Investigator, Devajyoti Deka, PhD, Aashna Jain, Anish Grover, and Qingyang Xie. The Center is supported by the New Jersey Department of Transportation through funds provided by the Federal Highway Administration
Detectors and Correctors: A Theory of Fault-Tolerance Components
No full textIn this paper, we show that two types of tolerance components, namely detectors and correctors, appear in a rich class of fault-tolerant systems. This class includes systems designed using the wellknown techniques of encapsulation and refinement, as well as systems designed using extant fault-tolerance methods such as replication and the state-machine approach. Our demonstration is via a theory of detectors and correctors, which characterizes the particular role of these components in achieving various types of fault-tolerance. Based on this theory and on our experience with using these components in designs, we suggest that detectors and correctors provide a powerful basis for efficient, component-based design of fault-tolerance. Keywords : Composition, Fault environment, Tolerance components, Tolerance design 1 A preliminary version of this paper appeared as [6]. Email: fanish,[email protected] ; Web: http://www.cis.ohio-state.edu/f~ anish,~kulkarni g; Tel: +1-614-292-18..
Reconstructive foot and ankle surgery management of complications
No full textPacked with superb illustrations, pearls, and pitfalls, Reconstructive Foot and Ankle Surgery: Management of Complications, 3rd Edition, delivers step-by-step guidance on essential elements of complex foot and ankle surgery. World-renowned surgeon Dr. Mark S. Myerson, along with expert co-author Dr. Anish R. Kadakia, provides detailed instruction on how to select the correct treatment for challenging disorders and manage complications after surgery. A highly templated, consistent format, abundant illustrations, and decades of real-life experience make this an easy-to-use resource for everyday practice as well as an authoritative reference for in-depth study"--Publisher's descriptio
- …
