المؤلفون: Jørgen Andersen, Ed Harcourt, K. V. S. Prasad

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.brics.dk/RS/96/Ref/BRICS-RS-96-Ref/././././RS/96/4/BRICS-RS-96-4.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.6485; http://www.brics.dk/RS/96/Ref/BRICS-RS-96-Ref/././././RS/96/4/BRICS-RS-96-4.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.6485
http://www.brics.dk/RS/96/Ref/BRICS-RS-96-Ref/././././RS/96/4/BRICS-RS-96-4.ps.gz

المؤلفون: Ed Harcourt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.cs.chalmers.se/pub/users/harcourt/ccs/report.ps

مصطلحات موضوعية: Parallel programming, process algebra, functional programming, executable semantics

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.836

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.836

المؤلفون: Ed Harcourt, Pawel Paczkowski, K. V. S. Prasad

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.cs.chalmers.se/pub/cs-reports/papers/prasad/parametric.ps.gz

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.9267

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.9267

المؤلفون: Ed Harcourt, Jon Mauney, Todd Cook

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.cs.chalmers.se/pub/cs-reports/papers/concurrency/harcourt_sas94.ps.gz

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.4761

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.4761

المؤلفون: Ed Harcourt Jon, Jon Mauney, Todd Cook

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.cs.chalmers.se/pub/users/harcourt/shdl94.ps.gz

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5306

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5306

المؤلفون: Ed Harcourt, Jon Mauney, Todd Cook

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.cs.chalmers.se/pub/cs-reports/papers/concurrency/harcourt_edac94.ps.gz

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.4979

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.4979

المؤلفون: Ed Harcourt, Jon Mauney, Todd Cook

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.csc.ncsu.edu/pub/tech/93/TR-93-18.ps.Z

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3839

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3839

المؤلفون: Ed Harcourt, James T. Perconti

المصدر: Microprocessors and Microsystems. 38:76-81

مصطلحات موضوعية: Domain-specific language, Computer Networks and Communications, Computer science, business.industry, Pipeline (computing), Systems modeling, Pipeline (software), Pipeline transport, Set (abstract data type), Computer architecture, Artificial Intelligence, Hardware and Architecture, SystemC, Embedded system, Transaction-level modeling, Hardware_ARITHMETICANDLOGICSTRUCTURES, Routing (electronic design automation), business, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, computer, Software, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::61d3768aa79973858ff559d78f530a43
https://doi.org/10.1016/j.micpro.2013.11.010

المؤلفون: Ed Harcourt

المصدر: Electronic Notes in Theoretical Computer Science. 238(2):13-23

مصطلحات موضوعية: FOS: Computer and information sciences, Domain-specific language, Generic programming, General Computer Science, Modeling language, Computer science, Distributed computing, Pipeline (computing), Theoretical Computer Science, discrete-event simulation, policies, SystemC, Hardware Architecture (cs.AR), hardware modeling, system level design, Computer Science - Hardware Architecture, computer.programming_language, Electronic system-level design and verification, Computer Science - Programming Languages, Boilerplate code, pipeline, Computer architecture, computer, generic programming, Programming Languages (cs.PL), Computer Science(all)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b3f5b94de3a07699f9331ae4c3efe44

المؤلفون: Ed Harcourt

المصدر: Computer Science Education. 17:87-96

مصطلحات موضوعية: Generic programming, General Computer Science, Programming language, Computer science, business.industry, Hardware description language, computer.software_genre, Education, Embedded software, High-level programming language, SystemC, High-level synthesis, Fourth-generation programming language, Software engineering, business, computer, Low-level programming language, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3b409df68178fc8b9bd9b8840f48d2ad
https://doi.org/10.1080/08993400601165248

المؤلفون: Paul D. Franzon, Ed Harcourt, T.K. Miller, T.A. Cook

المصدر: ICCD

مصطلحات موضوعية: Instruction set, Electronic system-level design and verification, Documentation, Software, Computer science, business.industry, Programming language, Process design, Hardware design languages, Type (model theory), business, computer.software_genre, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::685cdcc67dcd4ae431244fbbe92cb2b6
https://doi.org/10.1109/iccd.1993.393316

المؤلفون: Todd A. Cook, Ed Harcourt

المصدر: ICCL

مصطلحات موضوعية: Functional specification, Programming language, Computer science, business.industry, Software development, Software requirements specification, Specification language, computer.software_genre, Formal methods, Language Of Temporal Ordering Specification, Formal specification, Software design, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4e4b8c0c100dc2cc6438e02b423b217b
https://doi.org/10.1109/iccl.1994.288397

المؤلفون: Jwahar R. Bammi, Mihai Teodor Lazarescu, Marcello Lajolo, Luciano Lavagno, Ed Harcourt

المصدر: HLDVT

مصطلحات موضوعية: timing analysis, Computer science, Software performance testing, Software performance, computer.software_genre, compilation optimizations, software performance evaluation, Hardware, Delay estimation, Code (cryptography), system level design, System-level design, Timing, Computer architecture, Embedded system, Clocks, Flexibility (engineering), Electronic system-level design and verification, Programming language, Real time systems, Static timing analysis, architecture modeling, program compilers, performance estimation, Cadence VCC, target compiler, Costs, real-time systems, Instruction set simulator, Embedded software, software performance estimation, compilation, Compiler, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::98bf99fb1d07b0dd3d5491ea76f07ae8
https://doi.org/10.1109/hldvt.2000.889579

المؤلفون: Gérard Berry, Ed Harcourt, Luciano Lavagno, Ellen Sentovich

المصدر: Electronic Chips & Systems Design Languages ISBN: 9781441948847

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f0b67ecea109dfe7df0ff4a15101dff4
https://doi.org/10.1007/978-1-4757-3326-6_17

المؤلفون: Richard Sharp, Ed Harcourt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://myslu.stlawu.edu/%7Eehar/papers/ccscne-harcourt-sharp.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1078.9102; http://myslu.stlawu.edu/%7Eehar/papers/ccscne-harcourt-sharp.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1078.9102
http://myslu.stlawu.edu/%7Eehar/papers/ccscne-harcourt-sharp.pdf

المؤلفون: Kevin Angstadt, Ed Harcourt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://myslu.stlawu.edu/%7Eehar/virtual-machine-model.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1073.8765; http://myslu.stlawu.edu/%7Eehar/virtual-machine-model.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1073.8765
http://myslu.stlawu.edu/%7Eehar/virtual-machine-model.pdf

المؤلفون: Ed Harcourt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://myslu.stlawu.edu/~ehar/papers/harcourt_wgt08.pdf.

مصطلحات موضوعية: pipeline, system level design, discrete-event simulation, generic programming, hardware modeling, policies, SystemC

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.2379; http://myslu.stlawu.edu/~ehar/papers/harcourt_wgt08.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.2379
http://myslu.stlawu.edu/~ehar/papers/harcourt_wgt08.pdf

المؤلفون: Jørgen H. Andersen, K. V. S. Prasad, Ed Harcourt

المصدر: BRICS Report Series; No 4 (1996): RS-4 A Machine Verified Distributed Sorting Algorithm
BRICS Report Series; Nr. 4 (1996): RS-4 A Machine Verified Distributed Sorting Algorithm

مصطلحات موضوعية: Set (abstract data type), Sorting algorithm, Type theory, Broadcasting (networking), Programming language, Computer science, Sorting, Value (computer science), State (computer science), Type (model theory), computer.software_genre, computer

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6bbefbe75cdfe3eb98afe273105e0c1
https://igi.indrastra.com/items/show/17014

المؤلفون: Dharma P. Agrawal, W.J. Staats, Y.K. Choe, S. Kim, Jon Mauney, Ed Harcourt

المصدر: Proceedings of the IEEE. 77:1859-1874

مصطلحات موضوعية: Interprocessor communication, Computational model, Computer science, Resource allocation, Parallel computing, Electrical and Electronic Engineering, Technology assessment, Computational resource, Supercomputer, Variety (cybernetics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b71df97fc41c48726b07ad689804c0cf
https://doi.org/10.1109/5.48828