Dhrubajyoti Kalita

Learn More
Due to the increasing complexity of today's embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded system design as a system level specification. One of the major bottlenecks in the validation of UML activity diagrams is the lack of automated techniques for directed test(More)
Extreme dilutions, especially homeopathic remedies of 30c, 200c, and higher potencies, are prepared by a process of serial dilution of 1:100 per step. As a result, dilution factors of 10(60), 10(400), or even greater are achieved. Therefore, both the presence of any active ingredient and the therapeutic efficacy of these medicines have been contentious(More)
Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for(More)
SystemC transaction-level modeling (TLM) is widely used to enable early exploration for both hardware and software designs. It can reduce the overall design and validation effort of complex system-on-chip (SOC) architectures. However, due to lack of automated techniques coupled with limited reuse of validation efforts between abstraction levels, SOC(More)
PURPOSE To study the intraocular distribution and safety of polymethylmethacrylate nanoparticles loaded with carboplatin after posterior subtenon injection in humans. DESIGN Prospective, interventional, comparative case series. METHODS Six patients (mean age: 26.83 ± 7.5 years), scheduled to undergo planned uniocular enucleation in an institutional(More)
SystemC Transaction Level Modeling (TLM) is widely used to reduce the overall design and validation effort of complex System-on-Chip (SOC) architectures. Due to lack of efficient techniques, the amount of reuse between abstraction levels is limited in many scenarios such as reuse of TLM level tests for RTL validation. This paper presents a top-down(More)
In this paper, we present a hierarchical structure and framework for the representation, analysis and design of controllers for a Reconngurable Machining System (RMS). This hierarchical framework allows one to integrate controllers at various levels of coordination in the manufacturing system. Our approach is modular and \object oriented". This allows(More)