Zobrazeno 1 - 10
of 16
pro vyhledávání: '"D. Dhodapkar"'
Autor:
Nisha Joseph, Vikas A. Gupta, Craig Hofmeister, Charise Gleason, Leonard T. Heffner, Kafuman L. Jonathan, Lawrence H. Boise, Madhav D. Dhodapkar, Sagar Lonial, Ajay K. Nooka
Publikováno v:
Cancer Research. 79:4913-4913
Background: Though the incidence of MM is threefold higher in the African American (AA) population compared to Caucasians, reported long term outcomes are less favorable presumably due to inequities in access to healthcare. We have conducted a retros
Publikováno v:
Reliability Engineering & System Safety. 81:281-290
In this paper we describe an Assertion Checking Environment (ACE) for compositional verification of programs, which are written in an industrially sponsored safe subset of C programming language called MISRA C [Guidelines for the Use of the C Languag
Publikováno v:
Reliability Engineering & System Safety. 71:299-310
In this paper, we describe the design and implementation of an environment for specification, analysis and verification of reactive systems. The environment allows the user to develop specification in the graphical formalism of Statecharts and analyz
Autor:
Bart Barlogie, K. R. Desikan, Dan Ayers, John Crowley, Sundar Jagannath, David S. Siegel, Jayesh Mehta, D. Spoon, D. Dhodapkar, Guido Tricot, Joshua Epstein, Bruce Cheson, Jeffery R. Sawyer, David H. Vesole, J. Cromer, Elias Anaissie, Seema Singhal, S. Naucke, A. Fassas, S Mattox, Nikhil C. Munshi
Publikováno v:
Blood. 93:55-65
Between August 1990 and August 1995, 231 patients (median age 51, 53% Durie-Salmon stage III, median serum β-2-microglobulin 3.1 g/L, median C-reactive protein 4 g/L) with symptomatic multiple myeloma were enrolled in a program that used a series of
Publikováno v:
2010 2nd International Conference on Reliability, Safety and Hazard - Risk-Based Technologies and Physics-of-Failure Methods (ICRESH).
Model based design methodology is increasingly being used in the development of software for embedded controllers for safety class applications. SCADE Suite is a set of tools that support model based design of software for embedded systems. The model
Publikováno v:
2010 2nd International Conference on Reliability, Safety and Hazard - Risk-Based Technologies and Physics-of-Failure Methods (ICRESH).
Ensuring integrity of run time software of the safety and safety related embedded systems used for protection, control and monitoring of nuclear power plants is an important issue. In this paper, we discuss the scheme being implemented on the in-hous
Publikováno v:
2008 1st International Conference on Information Technology.
In this paper, we describe an environment which can be used to specify and implement distributed reactive system e.g., globally asynchronous, locally synchronous systems (GALS). We have extended state-charts called as communicating statecharts(CS), w
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540751007
SAFECOMP
SAFECOMP
In this paper, we describe a method for detecting runtime errors for programs which are written in an industrially sponsored safe subset of C called MISRA C. The method is based on a novel model of C programs: each C program is modeled as a typed tra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e7fbf4b3e0c789e91871dfaeefaa4b1
https://doi.org/10.1007/978-3-540-75101-4_46
https://doi.org/10.1007/978-3-540-75101-4_46
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540201267
SAFECOMP
SAFECOMP
In this paper, we describe the design and implementation of a tool that has been developed for the specification and verification of distributed reactive systems. A distributed reactive system is composed of a collection of autonomous reactive nodes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11504babe43338f542dda2495139b933
https://doi.org/10.1007/978-3-540-39878-3_3
https://doi.org/10.1007/978-3-540-39878-3_3
Publikováno v:
Proceedings of 1994 1st International Conference on Software Testing, Reliability and Quality Assurance (STRQA'94).
CLAS (C Language Program Analysis System) is a reverse engineering tool intended for use in the verification and validation (V&V) of software programs developed in the ANSI 'C' language. By analysing the source code, CLAS generates data according to