Results 291 to 300 of about 4,055,022 (317)
Some of the next articles are maybe not open access.
Reliability properties assessment at system level: a co-design framework
Proceedings Seventh International On-Line Testing Workshop, 2002The reliability co-design project aims at integrating in a standard hw/sw co-design flow the elements for achieving a final system able to detect the occurrence of a fault during its operational life. The paper presents the focus of the project, the definition and identification of design methodologies for implementing the nominal, checking and checker
BOLCHINI, CRISTIANA +3 more
openaire +3 more sources
Deriving Systems Level Security Properties of Component Based Composite Systems
2005 Australian Software Engineering Conference, 2005This paper proposes an approach of defining systems-level security properties of component-based composite systems. It argues that the security properties of a composite system can be viewed either from the end-users’ point of view, or from the software integrators’ point of view.
Khan, Khaled M., Han, Jun
openaire +1 more source
A System-Level Approach to Thermoelectric Material Property Optimization
Journal of Electronic Materials, 2015The opportunities for creating the most effective thermoelectric (TE) material can be maximized by considering the full system for a given application when developing the material. If conversion efficiency is the only consideration in the design of a TE material, then maximizing average ZT over the largest temperature range may be the best choice.
D.T. Crane +5 more
openaire +1 more source
System-level Performance Properties of Millimeter Wave Multicell Networks
2018 International Conference on Information and Communication Technology Convergence (ICTC), 2018With the launch of the 5th generation (5G) communication services next year, the enhanced mobile broadband services are expected to become further accelerated. However, even though millimeter wave (mmWave) spectrum provides huge bandwidths, the use of such a spectrum has received less attention, compared with a sub-6GHz spectrum, e.g., 3.5GHz., due to ...
Han-Kyul Park +4 more
openaire +1 more source
Understanding systems-level properties: timely stories from the study of clocks
Nature Reviews Genetics, 2011After several decades dominated by reductionist approaches in biology, researchers are returning to the study of complex biology with a litany of new and old techniques--this paradigm has been termed systems biology. Here we detail how systems biology is being used to uncover complex systems-level properties of the circadian clock.
John B, Hogenesch, Hiroki R, Ueda
openaire +2 more sources
Properties First—Correct-By-Construction RTL Design in System-Level Design Flows
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020This paper presents a new Property-Driven Design (PDD) method that starts from an abstract system model and integrates formal property checking early into a top-down design methodology for register transfer level (RTL) hardware. In PDD the role of formal verification is not limited to “bug hunting” alone.
Tobias Ludwig +3 more
openaire +1 more source
Journal of Biological Rhythms, 2008
Daily patterns of behavior and physiology in animals in temperate zones often differ substantially between summer and winter. In mammals, this may be a direct consequence of seasonal changes of activity of the suprachiasmatic nucleus (SCN). The purpose of this study was to understand such variation on the basis of the interaction between pacemaker ...
Beersma, Domien G. M. +3 more
openaire +3 more sources
Daily patterns of behavior and physiology in animals in temperate zones often differ substantially between summer and winter. In mammals, this may be a direct consequence of seasonal changes of activity of the suprachiasmatic nucleus (SCN). The purpose of this study was to understand such variation on the basis of the interaction between pacemaker ...
Beersma, Domien G. M. +3 more
openaire +3 more sources
Back-annotation of gate-level power properties into system level descriptions
2014 IEEE 12th International New Circuits and Systems Conference (NEWCAS), 2014It is important to accurately estimate power consumption in early stages of the design in order to avoid costly redesign. System level design consists of defining transaction level (TL) communications between various components that can be either processors or cores described at system level using high level languages such as SystemC.
Najmeh Farajipour Ghohroud +1 more
openaire +1 more source
System-level Properties as Numerical Invariants
2019This chapter summarizes an attempt to express classical notions of control theory such as stability or robustness using the previously presented invariant-based tools. All numerical tools presented in previous chapters were focused on the precise over-approximation of reachable states.
openaire +2 more sources
Back-annotation of Interconnect Physical Properties for System-Level Crosstalk Modeling
2019 IEEE European Test Symposium (ETS), 2019As digital design moves into higher abstraction levels, chip-level communications become more complex, thus harder to consider low-level interconnection signal effects. Abstract interconnect models are required in order to be able to bring signal integrity issues such as crosstalk into the hands of the high-level system designer.
Rezgar Sadeghi +3 more
openaire +1 more source