Bottom-Up Abstract Modelling of Optical Networks-on-Chip: From Physical to Architectural Layer
International Journal of Optics, 2012 This work presents a bottom-up abstraction procedure based on the design-flow FDTD + SystemC suitable for the modelling of optical Networks-on-Chip. In this procedure, a complex network is decomposed into elementary switching elements whose input-output ...
Alberto Parini +4 more
doaj +1 more source
Novel and Practical Scoring Systems for the Diagnosis of Thyroid Nodules. [PDF]
PLoS ONE, 2016 The clinical management of patients with thyroid nodules that are biopsied by fine-needle aspiration cytology and yield indeterminate results remains unsettled. The BRAF V600E mutation has dubious diagnostic value due to its low sensitivity.
Ying Wei +9 more
doaj +1 more source
Using an FPGA for Fast Bit Accurate SoC Simulation [PDF]
, 2007 In this paper we describe a sequential simulation method to simulate large parallel homo- and heterogeneous systems on a single FPGA. The method is applicable for parallel systems were lengthy cycle and bit accurate simulations are required.
Hölzenspies, P.K.F. +2 more
core +2 more sources
System simulations for the ALICE ITS detector upgrade [PDF]
EPJ Web of Conferences, 2020 The ALICE experiment at the CERN LHC will feature several upgrades for Run 3, one of which is a new Inner Tracking System (ITS). The ITS upgrade is currently under development and commissioning, and will be installed during the ongoing long shutdown 2. A
Voigt Nesbo Simon +10 more
doaj +1 more source
IgG anti-apolipoprotein A-1 antibodies in patients with systemic lupus erythematosus are associated with disease activity and corticosteroid therapy: an observational study. [PDF]
, 2015 IgG anti-apolipoprotein A-1 (IgG anti-apoA-1) antibodies are present in patients with systemic lupus erythematosus (SLE) and may link inflammatory disease activity and the increased risk of developing atherosclerosis and cardiovascular disease (CVD) in ...
Alber, KF +9 more
core +1 more source
Modelling and Simulation in Engineering, 2014 This paper presents the design of a SystemC transaction level modelling wrapping library that can be used for the assertion of system properties, protocol compliance, or fault injection.
Antonio da Silva +3 more
doaj +1 more source
Towards Verification of Uncertain Cyber-Physical Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity and scalability.
Carna Radojicic +3 more
doaj +1 more source
Functional Testing Approaches for "BIFST-able" tlm_fifo [PDF]
, 2008 Evolution of Electronic System Level design methodologies, allows a wider use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems that emphasizes on separating communications among modules from the details of ...
Alemzadeh, H. +4 more
core +1 more source
Hybrid Model: An Efficient Symmetric Multiprocessor Reference Model
Journal of Electrical and Computer Engineering, 2015 Functional verification has become one of the main bottlenecks in the cost-effective design of embedded systems, particularly for symmetric multiprocessors.
Shupeng Wang +3 more
doaj +1 more source
Lithium-ion Battery Electrothermal Model, Parameter Estimation, and Simulation Environment
Energies, 2017 The market for lithium-ion batteries is growing exponentially. The performance of battery cells is growing due to improving production technology, but market request is growing even more rapidly.
Simone Orcioni +3 more
doaj +1 more source