Results 301 to 310 of about 4,055,022 (317)

From RTL IP to functional system-level models with extra-functional properties

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, 2012
The paper presents a novel abstraction methodology for generating time- and power-annotated TLM models from synthesizable RTL descriptions. The proposed techniques allow the integration of existing RTL IP components into virtual platforms for early software development and platform design, configuration, and exploration.
D. Lorenz, K. Grüttner, BOMBIERI, Nicola, GUARNIERI, Valerio, S. Bocchio   +4 more
openaire   +1 more source

An efficient tool for system-level verification of behaviors and temporal properties

Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference, 2002
The use of process algebras is advocated as a solution for system-level description of structure, communication, and behavior, while an action-based temporal logic is used to specify and check system-level properties. It is shown how SEVERO, a tool for describing and verifying finite state systems, can be used to integrate in the unified framework of ...
CAMURATI, Paolo Enrico, CORNO, Fulvio, PRINETTO, Paolo Ernesto   +2 more
openaire   +1 more source

Validation of System-level Properties at Code Level

2019
This chapter claims that code generation can be adapted to enable the expression of system-level properties at code level, and be later proved with respect to the code semantics. All previous analyses were performed on discrete dynamical systems models.
openaire   +2 more sources

Emergence of system-level properties in biological networks from cellular automata evolution

18th Mediterranean Conference on Control and Automation, MED'10, 2010
The increasing number of novel theoretical and numerical tools developed in the field of systems biology requires more and more quantitative data and system-level knowledge. On the other hand, while biotechnologies have greatly evolved during the last decade, the time and cost required for experimental measurements, especially in the case of time ...
Vescio, Basilio, Cosentino, Carlo, Amato, Francesco   +2 more
openaire   +2 more sources

The PMC system level fault model: cardinality properties of the implied faulty sets

IEEE Transactions on Computers, 1989
One aspect of the PMC system level fault model, the properties of the implied faulty sets, is considered. For tau -diagnosable systems that have at most tau faulty units, lower bounds on the cardinality of the maximal implied faulty sets are given. Then it is shown that these bounds are greatest lower bounds, and it is indicated how these results can ...
M.A. Kennedy, G.G.L. Meyer
openaire   +1 more source

Adsorption-Based Atmospheric Water Harvesting: Impact of Material and Component Properties on System-Level Performance

Accounts of Chemical Research, 2019
Atmospheric water harvesting (AWH) is the capture and collection of water that is present in the air either as vapor or small water droplets. AWH has been recognized as a method for decentralized water production, especially in areas where liquid water is physically scarce, or the infrastructure required to bring water from other locations is ...
Alina LaPotin, Hyunho Kim, Sameer R. Rao, Evelyn N. Wang   +3 more
openaire   +2 more sources

Regulation of hSos1 activity is a system-level property generated by its multi-domain structure

Biotechnology Advances, 2012
The multi-domain protein hSos1 plays a major role in cell growth and differentiation through its Ras-specific guanine nucleotide exchange domain whose complex regulation involves intra-molecular, inter-domain rearrangements. We present a stochastic mathematical model describing intra-molecular regulation of hSos1 activity.
SACCO, ELENA, Farina, M, GRECO, CLAUDIO, Lamperti, S, Busti, S, DE GIOIA, LUCA, ALBERGHINA, LILIA, Liberati, D, VANONI, MARCO ERCOLE   +8 more
openaire   +4 more sources

System-Level Analysis of Two Erythroid Progenitor Survival Pathways Reveals Their Distinct Dynamical Properties

Blood, 2008
Abstract Erythropoietic rate varies through a large dynamic range. Its principal regulator is the hormone erythropoietin (Epo), which, in response to hypoxic stress increases up to 1000 fold its basal level, driving erythropoietic rate by up to ten fold.
Merav Socolovsky, Ying Liu, Alberto Porpiglia, Mi roslav Koulnis   +3 more
openaire   +1 more source

Systems biology of the cell cycle of Saccharomyces cerevisiae: From network mining to system-level properties

Biotechnology Advances, 2009
Following a brief description of the operational procedures of systems biology (SB), the cell cycle of budding yeast is discussed as a successful example of a top-down SB analysis. After the reconstruction of the steps that have led to the identification of a sizer plus timer network in the G1 to S transition, it is shown that basic functions of the ...
ALBERGHINA, LILIA, COCCETTI, PAOLA, ORLANDI, IVAN   +2 more
openaire   +2 more sources

System level integration, intellectual property, and the education of a new generation of system designers

IEE Colloquium on Systems on a Chip, 1998
Much of the future success of system level integration (SLI) is predicated on the emergence of a market for intellectual property cores (or virtual cores, as they are also known). Several factors contribute to the pressing need for a thriving market in intellectual property.
P. Lysaght, R. Chapman, T. Durrani
openaire   +1 more source