Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 101 - 120 von 6.002

101

MaTX: a high-performance programming language (interpreter and compiler) for scientific and engineering computation
Koga, M. ; Furuta, K.
IEEE Symposium on Computer-Aided Control System Design Computer-Aided Control System Design, 1992. (CACSD), 1992 IEEE Symposium on. :15-22 1992

Konferenz
102

Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis
Winterstein, Felix ; Bayliss, Samuel ; Constantinides, George A.
2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines Field-Programmable Custom Computing Machines (FCCM), 2014 IEEE 22nd Annual International Symposium on. :1-8 May, 2014

Konferenz
103

Implementing Influence Analysis Using Parameterised Boolean Equation Systems
Gallardo, María del Mar ; Joubert, Christophe ; Merino, Pedro
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :416-424 Nov, 2006

Konferenz
104

An efficient method for generating exhaustive test sets
Stanion, R.T. ; Bhattacharya, D. ; Sechen, C.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 14(12):1516-1525 Dec, 1995

Fachzeitschrift
105

Intensive care nurse-family engagement from a global perspective: A qualitative multi-site exploration
Naef, Rahel ; Brysiewicz, Petra ; Mc Andrew, Natalie S. ; et al.
In Intensive & Critical Care Nursing October 2021 66

Fachzeitschrift
106

Ace : a language for parallel programming with customizable protocols
Raghavachari, Mukund ; Rogers, Anne
ACM Transactions on Computer Systems (TOCS). 17(3):202-248

Fachzeitschrift
107

A constant expected time, linear storage data structure for representing three-dimensional objects
Woo, T. C. ; Wolter, J. D.
IEEE Transactions on Systems, Man, and Cybernetics IEEE Trans. Syst., Man, Cybern. Systems, Man and Cybernetics, IEEE Transactions on. SMC-14(3):510-515 Jun, 1984

Fachzeitschrift
108

Mad-X PTC Integration
Schmidt, F.
Proceedings of the 2005 Particle Accelerator Conference Particle Accelerator Conference, 2005. PAC 2005. Proceedings of the. :1272-1274 2005

Konferenz
110

Guide to Energy Management
Barney L. Capehart ; William J. Kennedy ; Wayne C. Turner ; et al.

Buch
111

High-performance Tensor Contractions for GPUs
Abdelfattah, A. ; Baboulin, M. ; Dobrev, V. ; et al.
In Procedia Computer Science 2016 80:108-118

Fachzeitschrift
112

Ace : linguistic mechanisms for customizable protocols
Raghavachari, Mukund ; Rogers, Anne
Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming. :80-89

Konferenz
113

Chapter 1: Introduction to Data Structures
Data Structures and Program Design Using C ; page 1-18 ; ISBN 9781501523328

Buch
114

EBE-based parallel finite element analysis of electric field in aluminum reduction cell
Zhao, Xian-yong ; Chen, Xiao-fang ; Gui, Wei-hua
Proceedings of the 10th World Congress on Intelligent Control and Automation Intelligent Control and Automation (WCICA), 2012 10th World Congress on. :2939-2943 Jul, 2012

Konferenz
115

Digital Signal Processing and Applications with the TMS320C6713 and TMS320C6416 DSK
Rulph Chassaing, Author ; Donald S. Reay, Author ; Rulph Chassaing ; et al.

Buch
116

Using the O-A diagram to encapsulate dynamic memory access
Tonella, P.
Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272) Software maintenance Software Maintenance, 1998. Proceedings., International Conference on. :326-335 1998

Konferenz
117

Machine learning-based QSAR and LB-PaCS-MD guided design of SARS-CoV-2 main protease inhibitors
Toopradab, Borwornlak ; Xie, Wanting ; Duan, Lian ; et al.
In Bioorganic & Medicinal Chemistry Letters 15 September 2024 110

Fachzeitschrift
118

Application of nonlinear design optimization for power converter components
Ridley, R.B. ; Zhou, C. ; Lee, F.C.Y.
IEEE Transactions on Power Electronics IEEE Trans. Power Electron. Power Electronics, IEEE Transactions on. 5(1):29-40 Jan, 1990

Fachzeitschrift
119

Environmentally-benign transition metal catalyst design using optimization techniques
Chavali, Sunitha ; Huismann, Terri ; Lin, Bao ; et al.
In Computer Aided Chemical Engineering 2003 14:77-82

Fachzeitschrift
120

Tests of measurement invariance failed to support the application of the “then-test”
Nolte, Sandra ; Elsworth, Gerald R. ; Sinclair, Andrew J. ; et al.
In Journal of Clinical Epidemiology 2009 62(11):1173-1180

Fachzeitschrift

Filter