Log in

Relevant bibliographies by topics / System-level models

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'System-level models'

Author: Grafiati

Published: 4 June 2021

Last updated: 8 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'System-level models.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "System-level models"

1

Patel, Hiren D., and Sandeep K. Shukla. "On Cosimulating Multiple Abstraction-Level System-Level Models." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27, no. 2 (February 2008): 394–98. http://dx.doi.org/10.1109/tcad.2007.913392.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Liu, Lingyi, and Shobha Vasudevan. "Automatic Generation of System Level Assertions from Transaction Level Models." Journal of Electronic Testing 29, no. 5 (September 17, 2013): 669–84. http://dx.doi.org/10.1007/s10836-013-5403-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Katrašnik, Tomaž, Roman Heinzle, and Johann C. Wurzenberger. "Tailored Cylinder Models for System Level Engine Modelling." IFAC Proceedings Volumes 45, no. 30 (2012): 162–69. http://dx.doi.org/10.3182/20121023-3-fr-4025.00011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pelc, A. "Undirected graph models for system-level fault diagnosis." IEEE Transactions on Computers 40, no. 11 (1991): 1271–76. http://dx.doi.org/10.1109/12.102832.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kreutzer, S. E., and S. L. Hakimi. "System-level diagnosis: Analysis of two new models." Information Sciences 40, no. 2 (December 1986): 117–30. http://dx.doi.org/10.1016/0020-0255(86)90002-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Walker, Robert J., Gail C. Murphy, Bjorn Freeman-Benson, Darin Wright, Darin Swanson, and Jeremy Isaak. "Visualizing dynamic software system information through high-level models." ACM SIGPLAN Notices 33, no. 10 (October 1998): 271–83. http://dx.doi.org/10.1145/286942.286966.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Urdahl, Joakim, Dominik Stoffel, and Wolfgang Kunz. "Path Predicate Abstraction for Sound System-Level Models of RT-Level Circuit Designs." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33, no. 2 (February 2014): 291–304. http://dx.doi.org/10.1109/tcad.2013.2285276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Sharma, Tarun Kumar, and Millie Pant. "Redundancy Level Optimization in Modular Software System Models using ABC." International Journal of Intelligent Systems and Applications 6, no. 4 (March 8, 2014): 40–48. http://dx.doi.org/10.5815/ijisa.2014.04.04.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Benini, L., G. Castelli, A. Macii, E. Macii, M. Poncino, and R. Scarsi. "Discrete-time battery models for system-level low-power design." IEEE Transactions on Very Large Scale Integration (VLSI) Systems 9, no. 5 (October 2001): 630–40. http://dx.doi.org/10.1109/92.953497.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Ganger, G. R., and Y. N. Patt. "Using system-level models to evaluate I/O subsystem designs." IEEE Transactions on Computers 47, no. 6 (June 1998): 667–78. http://dx.doi.org/10.1109/12.689646.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "System-level models"

1

Chadha, Vikrampal. "Simulation of large-scale system-level models." Thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-12162009-020334/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Nel, Christoffel Antonie. "The creation of nonlinear behavioral-level models for system level receiver simulation." Thesis, Stellenbosch : Stellenbosch University, 2004. http://hdl.handle.net/10019.1/50128.

Full text

Abstract:

Thesis (MScEng)--Stellenbosch University, 2004.
ENGLISH ABSTRACT: The aim of this thesis was to investigate the use of behavioral level models in receiver simulations using the capabilities of Agilent's Advanced Design System. Behavioral level modeling has become increasingly attractive because it offers faster and easier results for system level simulations. The work in this thesis focused strongly on nonlinear measurements to characterize the various nonlinear phenomena that are present in amplifiers and mixers. Measurement automation software was developed to automate the process. An error correction technique was also developed to increase the accuracy of spectrum analyzer measurements. The measured data was used to implement the behavioral level amplifier and mixer models in ADS. The accuracy of the models was compared to measured data and the different available models were compared. Finally the models were combined to realize different receivers and were used to do typical receiver tests. These test include gain and gain compression, two-tone intermodulation and spurious responses. The results are compared to measured data to test the accuracy and usefulness of the models and simulation techniques.
AFRIKAANSE OPSOMMING: Die doel van hierdie tesis was om stelsel-vlak gedrags-modelle te ondersoek soos hulle in Agilent se Advanced Design System (ADS) aangebied word. Die modellering van die stelselvlak-gedrag van komponente en stelsels is aantreklik aangesien dit 'n hoë vlak beskrywing van komplekse kommunikasie stelsels moontlik maak. Akkurate stelsel-vlak simulasies sal lei tot vinnige ontwikkeling en evaluasie van nuwe sisteme. Die resultate wat verkry word is egter afhanklik van die beskikbaarheid van akkurate stelsel-vlak gedragsmodelle Die tesis het baie sterk op metings staat gemaak om die nie-liniêre gedrag van versterkers en mengers te karakteriseer. Meet sagteware is ontwikkel om die verskillende metings te automatiseer. Fout korreksie vir spetrum-analiseerder-metings is ook ontwikkel. Die gemete data is gebruik om die nie-liniêre gedrags-modelle in ADS te implementer. Die modelle is in simulasies gebruik en die akuraatheid van die simulasies is teen gemete data getoets. Die finale deel van die tesis gebruik die modelle om tipiese ontvanger karakteristieke te voorspel. Die volgende toetse is gedoen: aanwins en kompressie, twee-toon intermodulasie en hoer orde meng produkte. Die resultate van die toetse is met gemete data vergelyk om die akuraatehied en bruikbaarheid van die verskillende modelle te vergelyk.

APA, Harvard, Vancouver, ISO, and other styles

3

Arnedo, Luis. "System Level Black-Box Models for DC-DC Converters." Diss., Virginia Tech, 2008. http://hdl.handle.net/10919/29193.

Full text

Abstract:

The aim of this work is to develop a two-port black-box dc-dc converter modeling methodology for system level simulation and analysis. The models do not require any information about the components, structure, or control parameters of the converter. Instead, all the information needed to build the models is collected from unterminated experimental frequency response function (FRF) measurements performed at the converter power terminals. These transfer funtions are known as audiosuceptibility, back current gain, output impedance, and input admittance. The measurements are called unterminated because they do not contain any information about the source and/or the load dynamics. This work provides insights into how the source and the load affect FRF measurements and how to decouple those effects from the measurements. The actual linear time invariant model is obtained from the experimental FRFs via system identification. Because the the two-port model obtained from a set of FRFs is linear, it will be valid in a specific operating region defined by the converter operating conditions. Therefore, to satisfy the need for models valid in a wide operating region, a model structure that combines a family of linear two-port models is proposed. One structure, known as the Wiener structure, is especially useful when the converter nonlinearities are reflected mainly in the steady state currents and voltage values. The other structure is known as a polytopic structure, and it is able to capture nonlinearities that affect the transient and steady state converter behavior. The models are used for prediction of steady state and transient behavior of voltages and currents at the converter terminals. In addition, the models are useful for subsystem interaction and small signal stability assesment of interconnected dc distribution systems comprising commericially available converters. This work presents for first time simulation and stability analysis results of a system that combines dc-dc converters from two different manufucturers. All simulation results are compared against experimental results to verify the usefulness of the approach.
Ph. D.

APA, Harvard, Vancouver, ISO, and other styles

4

Lai, Jimmy Chi-Ming. "Abstraction models at system level for networked interactive multimedia scripting." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/38066.

Full text

Abstract:

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
Includes bibliographical references (p. 85-86).
by Jimmy Chi-Ming Lai.
M.Eng.

APA, Harvard, Vancouver, ISO, and other styles

5

Montagna, Sara <1982&gt. "Multi-level models and infrastructures for simulating biological system development." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/3415/.

Full text

Abstract:

The hierarchical organisation of biological systems plays a crucial role in the pattern formation of gene expression resulting from the morphogenetic processes, where autonomous internal dynamics of cells, as well as cell-to-cell interactions through membranes, are responsible for the emergent peculiar structures of the individual phenotype. Being able to reproduce the systems dynamics at different levels of such a hierarchy might be very useful for studying such a complex phenomenon of self-organisation. The idea is to model the phenomenon in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartment events determines the emergent behaviour resulting in the formation of spatial patterns. According to these premises the thesis proposes a review of the different approaches already developed in modelling developmental biology problems, as well as the main models and infrastructures available in literature for modelling biological systems, analysing their capabilities in tackling multi-compartment / multi-level models. The thesis then introduces a practical framework, MS-BioNET, for modelling and simulating these scenarios exploiting the potential of multi-level dynamics. This is based on (i) a computational model featuring networks of compartments and an enhanced model of chemical reaction addressing molecule transfer, (ii) a logic-oriented language to ﬂexibly specify complex simulation scenarios, and (iii) a simulation engine based on the many-species/many-channels optimised version of Gillespie’s direct method. The thesis ﬁnally proposes the adoption of the agent-based model as an approach capable of capture multi-level dynamics. To overcome the problem of parameter tuning in the model, the simulators are supplied with a module for parameter optimisation. The task is deﬁned as an optimisation problem over the parameter space in which the objective function to be minimised is the distance between the output of the simulator and a target one. The problem is tackled with a metaheuristic algorithm. As an example of application of the MS-BioNET framework and of the agent-based model, a model of the ﬁrst stages of Drosophila Melanogaster development is realised. The model goal is to generate the early spatial pattern of gap gene expression. The correctness of the models is shown comparing the simulation results with real data of gene expression with spatial and temporal resolution, acquired in free on-line sources.

APA, Harvard, Vancouver, ISO, and other styles

6

Patel, Hiren Dhanji. "Ingredients for Successful System Level Automation & Design Methodology." Diss., Virginia Tech, 2007. http://hdl.handle.net/10919/26825.

Full text

Abstract:

This dissertation addresses the problem of making system level design (SLD) methodology based on SystemC more useful to the complex embedded system design community by presenting a number of ingredients currently absent in the existing SLD methodologies and frameworks. The complexity of embedded systems have been increasing at a rapid rate due to proliferation of desired functionality of such systems (e.g., cell phones, game consoles, hand-held devices, etc., are providing more features every few months), and the device technology still riding the curve predicted by Moore's law. Design methodology is shifting slowly towards system level design (also called electronic system level (ESL)). A number of SLD languages and supporting frameworks are being proposed. SystemC is positioned as being one of the dominant SLD languages. The various design automation tool vendors are proposing frameworks for supporting SystemC-based design methodologies. We believe that compared to the necessity and potential of ESL, the success of the frameworks have been limited due to lack of support for a number of facilities and features in the languages and tool environments. This dissertation proposes, formulates, and provides proof of concept demonstrations of a number of ingredients that we have identified as essential for efficient and productive use of SystemC-based tools and techniques. These are heterogeneity in the form of multiple models of computation, behavioral hierarchy in addition to structural hierarchy, model-driven validation for SystemC designs and a service-oriented tool integration environment. In particular, we define syntactic extensions to the SystemC language, semantic modifications, and simulation algorithms, precise semantics for model based validation etc. For each of these we provide reference implementation for further experimentation on the utility of these extensions.
Ph. D.

APA, Harvard, Vancouver, ISO, and other styles

7

Park, Yong Hwa. "An evaluation methodology for the level of service at the airport landside system." Thesis, Online version, 1994. http://ethos.bl.uk/OrderDetails.do?did=1&uin=uk.bl.ethos.260890.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Zaum, Daniel [Verfasser]. "System Level Analysis of Mixed-Signal Systems using State Space Models / Daniel Zaum." München : Verlag Dr. Hut, 2011. http://d-nb.info/1017353360/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

La, Fratta Patrick Anthony. "Evaluating the Design and Performance of a Single-Chip Parallel Computer Using System-Level Models and Methodology." Thesis, Virginia Tech, 2005. http://hdl.handle.net/10919/32424.

Full text

Abstract:

As single-chip systems are predicted to soon contain over a billion transistors, design methodologies are evolving dramatically to account for the fast evolution of technologies and product properties. Novel methodologies feature the exploration of design alternatives early in development, the support for IPs, and early error detection â all with a decreasing time-to-market. In order to accommodate these product complexities and development needs, the modeling levels at which designers are working have quickly changed, as development at higher levels of abstraction allows for faster simulations of system models and earlier estimates of system performance while considering design trade-offs. Recent design advancements to exploit instruction-level parallelism on single-processor computer systems have become exceedingly complex, and modern applications are presenting an increasing potential to be partitioned and parallelized at the thread level. The new Single-Chip, Message-Passing (SCMP) parallel computer is a tightly coupled mesh of processing nodes that is designed to exploit thread-level parallelism as efficiently as possible. By minimizing the latency of communication among processors, memory access time, and the time for context switching, the system designer will undoubtedly observe an overall performance increase. This study presents in-depth evaluations and quantitative analyses of various design and performance aspects of SCMP through the development of abstract hardware models by following a formalized, well-defined methodology. The performance evaluations are taken through benchmark simulation while taking into account system-level communication and synchronization among nodes as well as node-level timing and interaction amongst node components. Through the exploration of alternatives and optimization of the components within the SCMP models, maximum system performance in the hardware implementation can be achieved.
Master of Science

APA, Harvard, Vancouver, ISO, and other styles

10

Shahid, Hamid. "Integration of System-Level Design and Mechanical Design Models in the Development of Mechanical Systems." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-53061.

Full text

Abstract:

Modern-day systems are becoming complex due to the growing needs of the market. These systems contain various subsystems developed by different groups of engineers. Particularly, all mechatronics systems involve different mechanical, electrical and software parts developed by multidisciplinary teams of engineers from different backgrounds. Designing of these complex systems requires effective management, of the engineering and the system integration information, across all the involved disciplines. Model Based System Engineering (MBSE) is one of the effective ways for managing the engineering design process. In MBSE, design information is formally stored in the form of models, which allows better control of requirements throughout the development life cycle and provides ability to perform better analysis. Engineers usually are expert in their own discipline, where they utilize modeling languages and tools with a domain-specific focus. This creation of models with the domain-specific focus does not provide a view of the system as a whole. Hence, in order to have a complete system view, it is required to provide information transfer means across different domains, through models developed in different modeling languages and tools supporting them. Model integration is one of the ways to integrate and transfer model information across different domains. An approach for model integration is proposed, with the focus on the integration between system level models created in SysML and mechanical CAD (MCAD) models. The approach utilizes the feature of SysML to create domain specific profiles and presents a SysML profile for MCAD domain. This profile aids in establishing a mapping between SysML and MCAD concepts, as it allows the extension of SysML constructs to represent MCAD concepts in SysML. Model transformations are used to transform a model created through SysML profile for MCAD in to the corresponding model in a MCAD tool, and vice versa. A robot model is presented to exemplify the working of the approach and to explain the integration of mechanical design model with a system-level design model and vice versa. The approach presented in this thesis depicts a scalable concept, which can be extended towards the integration of other domains with MCAD, by building new relations and profiles in SysML. This approach aids in co-evolution of a system model during domain-specific development activities, hence providing better means to understand the system as a whole.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "System-level models"

1

Gupta, Rajesh. Formal Methods and Models for System Design: A System Level Perspective. Boston, MA: Springer US, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Schuermans, Stefan, and Rainer Leupers. Power Estimation on Electronic System Level using Linear Power Models. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-01875-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Grant, Martin, and SpringerLink (Online service), eds. ESL Models and their Application: Electronic System Level Design and Verification in Practice. Boston, MA: Springer Science+Business Media, LLC, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

ACM Special Interest Group on Design Automation. and IEEE Computer Society. Technical Committee on VLSI., eds. Proceedings of SLIP '03: International Workshop on System Level Interconnect Prediction. New York, N.Y: Association for Computing Machinery, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

International Workshop on System-Level Interconnect Prediction (2nd 2000 San Diego, Calif.). SLIP 2000: International Workshop on System-Level Interconnect Prediction : San Diego, CA, April 8-9, 2000. New York, N.Y: ACM, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Miller, Lisa D. Statistical analyses of hydrologic system components and simulation of Edwards Aquifer water-level response to rainfall using transfer-function models, San Antonio region, Texas. Reston, Va: U.S. Geological Survey, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

International, Workshop on System-Level Interconnect Prediction (2004 Paris France). Proceedings of SLIP '04: 2004 International Workshop on System Level Interconnect Prediction, Renaissance Paris Hotel La Défense, Paris, France, February 14-15 2004. New York, N.Y: Association for Computing Machinery, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Dynamic inter-links among the exchange rate, price level, and terms of trade in a managed floating exchange rate system: The case of Ghana. Nairobi: African Economic Research Consortium, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Bhasin, Vijay K. Dynamic inter-links among the exchange rate, price level and terms of trade in a managed floating exchange rate system: The case of Ghana. Nairobi: African Economic Research Consortium, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Cavalloro, Patrizia, Christophe Gendarme, Klaus Kronlöf, Jean Mermet, Jos van Sas, Kari Tiensyrjä, and Nikolaos S. Voros, eds. System Level Design Model with Reuse of System IP. Boston, MA: Springer US, 2003. http://dx.doi.org/10.1007/b105966.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "System-level models"

1

Lavagno, Luciano, Alberto Sangiovanni-Vincentelli, and Ellen Sentovich. "Models of Computation for Embedded System Design." In System-Level Synthesis, 45–102. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-011-4698-2_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Albertini, Bruno, Sandro Rigo, and Guido Araujo. "Debugging SystemC Platform Models." In Electronic System Level Design, 117–28. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-1-4020-9940-3_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ortega, Ross B., Luciano Lavagno, and Gaetano Borriello. "Models and Methods for HW/SW Intellectual Property Interfacing." In System-Level Synthesis, 397–432. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-011-4698-2_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Azevedo, Rodolfo, Sandro Rigo, and Bruno Albertini. "Building Platform Models with SystemC." In Electronic System Level Design, 71–98. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-1-4020-9940-3_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Doucet, Frederic, Sandeep Shukla, and Rajesh Gupta. "Structural Component Composition for System-Level Models." In Formal Methods and Models for System Design, 57–81. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4020-8052-4_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Li, Xiaochuan, Fang Duan, David Mba, and Ian Bennett. "Rotating Machine Prognostics Using System-Level Models." In Lecture Notes in Mechanical Engineering, 123–41. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-62274-3_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Werner, Matthias. "Safe System-Level Diagnosis for Selected Fault Models." In Communication-Based Systems, 33–42. Dordrecht: Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-015-9608-4_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Romberg, Jan, Jewgenij Botaschanjan, and Oscar Slotosch. "Mode: A Method for System-Level Architecture Evaluation." In Formal Methods and Models for System Design, 103–33. Boston, MA: Springer US, 2004. http://dx.doi.org/10.1007/978-1-4020-8052-4_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Block, Henry W., Jie Mi, and Thomas H. Savits. "Burn-in at the Component and System Level." In Lifetime Data: Models in Reliability and Survival Analysis, 53–57. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-5654-8_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Bruni, Camillo, and Toon Verwaest. "PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy." In Objects, Components, Models and Patterns, 328–47. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02571-6_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "System-level models"

1

Zou, Qiaosha, and Yuan Xie. "Compact Models and Model Standard for 2.5D and 3D Integration." In SLIP (System Level Interconnect Prediction). New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2633948.2633955.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Topaloglu, Rasit O. "Chip-scale physical interconnect models (Tutorial)." In 2013 ACM/IEEE International Workshop on System Level Interconnect Prediction (SLIP). IEEE, 2013. http://dx.doi.org/10.1109/slip.2013.6681684.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Majzik, Istvan, Oszkar Semerath, Csaba Hajdu, Kristof Marussy, Zoltan Szatmari, Zoltan Micskei, Andras Voros, Aren A. Babikian, and Daniel Varro. "Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles." In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2019. http://dx.doi.org/10.1109/models.2019.00-12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Gajski, Daniel D. "System-level synthesis: From specification to transaction level models." In 2009 International Conference on Communications, Circuits and Systems (ICCCAS). IEEE, 2009. http://dx.doi.org/10.1109/icccas.2009.5250317.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Sunwoo, Dam, Hassan Al-Sukhni, Jim Holt, and Derek Chiou. "Early Models for System-Level Power Estimation." In 2007 IEEE International Workshop on Microprocessor Test and Verification (MTV). IEEE, 2007. http://dx.doi.org/10.1109/mtv.2007.8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

van der Putten, P. H. A., J. P. M. Voeten, M. C. W. Geilen, and M. P. J. Stevens. "System level models for real-time communication." In Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium. IEEE, 1999. http://dx.doi.org/10.1109/eurmic.1999.794517.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Torfeh, Mahsa, Andrew C. McClung, and Amir Arbabi. "System-level models for metasurfaces (Conference Presentation)." In Photonic and Phononic Properties of Engineered Nanostructures X, edited by Ali Adibi, Shawn-Yu Lin, and Axel Scherer. SPIE, 2020. http://dx.doi.org/10.1117/12.2554736.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Campanoni, Simone, and William Fornaciari. "Models and Tradeoffs in WSN System-Level Design." In 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. IEEE, 2008. http://dx.doi.org/10.1109/dsd.2008.96.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Babikian, Aren A. "Automated generation of test scenario models for the system-level safety assurance of autonomous vehicles." In MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3417990.3419484.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Romberg, J., O. Slotosch, and G. Hahn. "MoDe: a method for system-level architecture evaluation." In 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003). IEEE, 2003. http://dx.doi.org/10.1109/memcod.2003.1210082.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "System-level models"

1

Price, Stephen. Ice Sheets and Sea-Level Rise in Earth System Models. Office of Scientific and Technical Information (OSTI), July 2014. http://dx.doi.org/10.2172/1148306.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Price, Stephen. Ice Sheets and Sea-Level Rise in Earth System Models. Office of Scientific and Technical Information (OSTI), September 2014. http://dx.doi.org/10.2172/1156833.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kacprzynski, Gregory J., Michael J. Roemer, Girish Modgil, Andrea Palladino, and Kenneth Maynard. Enhancement of Physics-of-Failure Prognostic Models with System Level Features. Fort Belvoir, VA: Defense Technical Information Center, January 2002. http://dx.doi.org/10.21236/ada408967.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

McGinnis, Leon F. Formalizing ISA-95 level 3 control with smart manufacturing system models. Gaithersburg, MD: National Institute of Standards and Technology, December 2019. http://dx.doi.org/10.6028/nist.gcr.19-022.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Karlson, Kyle, Kevin Long, and Jay Dike. Material Models and Credibility for System Level Abnormal Mechanical ModSim Applications. Office of Scientific and Technical Information (OSTI), February 2021. http://dx.doi.org/10.2172/1769547.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Eslinger, P. W., T. B. Miley, D. W. Engel, and P. J. II Chamberlain. SUMO, System performance assessment for a high-level nuclear waste repository: Mathematical models. Office of Scientific and Technical Information (OSTI), September 1992. http://dx.doi.org/10.2172/140865.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Wohlwend, Jennifer. E-Area Low-Level Waste Facility GoldSim System Model. Office of Scientific and Technical Information (OSTI), April 2020. http://dx.doi.org/10.2172/1630272.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Melby, Jeffrey, Thomas Massey, Fatima Diop, Himangshu Das, Norberto Nadal-Caraballo, Victor Gonzalez, Mary Bryant, et al. Coastal Texas Protection and Restoration Feasibility Study : Coastal Texas flood risk assessment : hydrodynamic response and beach morphology. Engineer Research and Development Center (U.S.), July 2021. http://dx.doi.org/10.21079/11681/41051.

Full text

Abstract:

The US Army Corps of Engineers, Galveston District, is executing the Coastal Texas Protection and Restoration Feasibility Study coastal storm risk management (CSRM) project for the region. The project is currently in the feasibility phase. The primary goal is to develop CSRM measures that maximize national net economic development benefits. This report documents the coastal storm water level and wave hazard, including sea level rise, for a variety of flood risk management alternatives. Four beach restoration alternatives for Galveston Island and Bolivar peninsula were evaluated. Suites of synthetic tropical and historical non-tropical storms were developed and modeled. The CSTORM coupled surge-and-wave modeling system was used to accurately characterize storm circulation, water level, and wave hazards using new model meshes developed from high-resolution land and sub-aqueous surveys for with- and without-project scenarios. Beach morphology stochastic response was modeled with a Monte Carlo life-cycle simulation approach using the CSHORE morphological evolution numerical model embedded in the StormSim stochastic modeling system. Morphological and hydrodynamic response were primarily characterized with probability distributions of the number of rehabilitations and overflow.

APA, Harvard, Vancouver, ISO, and other styles

9

McKee, R. W., J. R. Young, and G. J. Konzek. Conceptual modular description of the high-level waste management system for system studies model development. Office of Scientific and Technical Information (OSTI), August 1992. http://dx.doi.org/10.2172/7077339.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

McKee, R. W., J. R. Young, and G. J. Konzek. Conceptual modular description of the high-level waste management system for system studies model development. Office of Scientific and Technical Information (OSTI), August 1992. http://dx.doi.org/10.2172/10174060.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!