Capturing Assumptions while Designing a Verification Model for Embedded Systems [PDF]
, 2007 A formal proof of a system correctness typically holds under a number of assumptions. Leaving them implicit raises the chance of using the system in a context that violates some assumptions, which in return may invalidate the correctness proof.
Mader, A.H. +2 more
core +1 more source
Finite Size Scaling of Mutual Information: A Scalable Simulation
, 2010 We develop a quantum Monte Carlo procedure to compute the Renyi mutual information of an interacting quantum many-body system at non-zero temperature. Performing simulations on a spin-1/2 XXZ model, we observe that for a subregion of fixed size embedded ...
Hastings, Matthew B. +2 more
core +1 more source
Model based system engineering approach of a lightweight embedded TCP/IP
, 2011 The use of embedded software is growing very rapidly. Accessing the internet is a necessary service which has large range of applications in many fields. The Internet is based on TCP/IP which is a very important stack.
Hassan, Ahmed E. +2 more
core +1 more source
Software for Embedded Control Systems [PDF]
, 2001 The research of our team deals with the realization of control schemes on digital computers. As such the emphasis is on embedded control software implementation.
Broenink, Jan F. +2 more
core +1 more source
A Class of Embedded DG Methods for Dirichlet Boundary Control of Convection Diffusion PDEs
, 2018 We investigated an hybridizable discontinuous Galerkin (HDG) method for a convection diffusion Dirichlet boundary control problem in our earlier work [SIAM J. Numer. Anal.
Chen, Gang +3 more
core +1 more source
Development of an Oxygen Saturation Monitoring System by Embedded Electronics [PDF]
, 2017 Measuring Oxygenation of blood (SaO2) plays a vital role in patient’s health monitoring. This is often measured by pulse oximeter, which is standard measure during anesthesia, asthma, operative and post-operative recoveries.
Venkatesan Gomathy, Manikandan
core +2 more sources
The extreme vulnerability of interdependent spatially embedded networks
, 2012 Recent studies show that in interdependent networks a very small failure in one network may lead to catastrophic consequences. Above a critical fraction of interdependent nodes, even a single node failure can invoke cascading failures that may abruptly ...
A Bashan +35 more
core +1 more source
Partial annealing of a coupled mean-field spin-glass model with an embedded pattern
, 2010 A partially annealed mean-field spin-glass model with a locally embedded pattern is studied. The model consists of two dynamical variables, spins and interactions, that are in contact with thermal baths at temperatures T_S and T_J, respectively.
Ayaka Sakata +4 more
core +1 more source
Heavy quark dynamics for charm and bottom flavor on Fermi surface at zero temperature
, 2013 We discuss the dynamics in finite density medium including a heavy impurity particle (hadron or quark) with a heavy flavor, charm and bottom, at zero temperature.
Sudoh, K., Yasui, S.
core +1 more source
Embedded Sensor System for Early Pathology Detection in Building Construction [PDF]
, 2009 Structure pathology detection is an important security task in building construction, which is performed by an operator by looking manually for damages on the materials.
Cascon, Carlos J. Escudero +1 more
core +1 more source