المؤلفون: Chidanand Apte, Se June Hong, Jonathan R. M. Hosking, Jorge Lepre, Edwin P. D. Pednault, Barry K. Rosen

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

المصدر: http://www.research.ibm.com/dar/papers/pdf/idanew_with_cover.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5414; http://www.research.ibm.com/dar/papers/pdf/idanew_with_cover.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.5414
http://www.research.ibm.com/dar/papers/pdf/idanew_with_cover.pdf

المؤلفون: Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck

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

المصدر: http://www.cs.colorado.edu/~diwan/7135/p451-cytron.pdf.

مصطلحات موضوعية: D.3.4 [Programming Languages, Processors—compilers, optimization, I. 1.2 [Algebraic Manipulation, Algorithms—analysis of algorithms, 1.2.2 [Artificial Intelligence, Automatic Programming-program transformation

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.8467; http://www.cs.colorado.edu/~diwan/7135/p451-cytron.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.8467
http://www.cs.colorado.edu/~diwan/7135/p451-cytron.pdf

المؤلفون: A.K. Chandra, Barry K. Rosen, M. Mullen, Daniel Geist, J. Yoon, I. Nair, Vijay S. Iyengar, R. Armoni, Yaron Wolfsthal, D. Jameson, R. Jawalekar

المصدر: IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 3:188-200

مصطلحات موضوعية: Computer science, Programming language, media_common.quotation_subject, System testing, Process design, Symbolic execution, computer.software_genre, Debugging, Software bug, Hardware and Architecture, Graph (abstract data type), Electrical and Electronic Engineering, Engineering design process, computer, Software, Natural language, media_common

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

المؤلفون: Dhananjay M. Dhamdhere, Barry K. Rosen, F. Kenneth Zadeck

المصدر: ACM SIGPLAN Notices. 27:212-223

مصطلحات موضوعية: Computer Graphics and Computer-Aided Design, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce443b01448a8cff6488b180e54094d4
https://doi.org/10.1145/143103.143135

المؤلفون: Mark N. Wegman, F. Kenneth Zadeck, Jeanne Ferrante, Ron Cytron, Barry K. Rosen

المصدر: ACM Transactions on Programming Languages and Systems. 13:451-490

مصطلحات موضوعية: Data flow diagram, Global value numbering, Static single assignment form, Dominator, Computer science, Control flow graph, Program transformation, Program optimization, Data structure, Algorithm, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0bbd2b30d3285ba9e8864abac4678818
https://doi.org/10.1145/115372.115320

المؤلفون: Vijay S. Iyengar, Barry K. Rosen, J.A. Waicukauski

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 9:299-312

مصطلحات موضوعية: geography, Engineering, Signal processing, geography.geographical_feature_category, business.industry, Real-time computing, Hardware_PERFORMANCEANDRELIABILITY, Integrated circuit, Fault (geology), Computer Graphics and Computer-Aided Design, Fault detection and isolation, law.invention, law, Logic gate, Range (statistics), Electrical and Electronic Engineering, Fault model, business, Algorithm, Software, Hardware_LOGICDESIGN, Electronic circuit

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

المؤلفون: Vijay S. Iyengar, Ilan Y. Spillinger, Barry K. Rosen

المصدر: ITC

مصطلحات موضوعية: Engineering, business.industry, Hardware_PERFORMANCEANDRELIABILITY, Automatic test pattern generation, Fault (power engineering), Reliability engineering, Fault indicator, Stuck-at fault, Metric (mathematics), Fault coverage, Point (geometry), Fault model, business, Algorithm, Hardware_LOGICDESIGN

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::929a8d203629d065fe0a96ef93d4a034
https://doi.org/10.1109/test.1988.207873

المؤلفون: Barry K. Rosen, Ilan Y. Spillinger, Vijay S. Iyengar

المصدر: ITC

مصطلحات موضوعية: Algebra, Heuristic (computer science), Computer science, Computation, Fault coverage, Fault Simulator, Type (model theory), Automatic test pattern generation, Data structure, Algorithm, Event (probability theory)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1d21032e81c81c16d721d7282ceb0c13
https://doi.org/10.1109/test.1988.207874

المؤلفون: I. Nair, M.P. Mullen, R.V. Jawalekar, Barry K. Rosen, A.K. Chandra, Vijay S. Iyengar

المصدر: ICCD

مصطلحات موضوعية: Test case, Template, Programming language, Computer science, Processor design, Formal specification, Pipeline (computing), Register renaming, Parallel computing, Branch predictor, computer.software_genre, Conformance testing, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::713e03fe2657cb56b690e18ac58f5730
https://doi.org/10.1109/iccd.1994.331949

المؤلفون: Jonathan R. M. Hosking, Edwin P. D. Pednault, Se June Hong, Jorge Lepre, Chidanand Apte, Barry K. Rosen

المصدر: Advances in Intelligent Data Analysis Reasoning about Data ISBN: 9783540633464
IDA

مصطلحات موضوعية: Artificial neural network, business.industry, Feature vector, Decision tree, Decision rule, Machine learning, computer.software_genre, Multiplexer, Decision boundary, Entropy (information theory), Data mining, Artificial intelligence, business, computer, Problem space, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d0d44b4e44e52d9ca527a69a90e628b0
https://doi.org/10.1007/bfb0052826

المؤلفون: P. Chang, J. Tischer, K. McCauley, Vijay S. Iyengar, C. Goertz, J. Barlow, B. Konemann, R. Gabrielson, Thomas Walter Williams, B. Keller, Barry K. Rosen

المصدر: ITC

مصطلحات موضوعية: Engineering, Variable (computer science), Delay calculation, business.industry, Control system, White-box testing, Static testing, System testing, Control engineering, Hardware_PERFORMANCEANDRELIABILITY, business, Shift register, Test (assessment)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::99d084b0be2f040fe56ea1d382c88097
https://doi.org/10.1109/test.1992.527878

المؤلفون: Roger A. Riehm, Johan Runeberg, Barry K. Rosen, N. Seppa, Robert Cotton

المصدر: Science News. 167:287

مصطلحات موضوعية: General Engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7d9c4525f3ba72f425e78c8dd90b6bcc
https://doi.org/10.2307/4016193

المؤلفون: H. R. Strong, Barry K. Rosen, Andrea Maggiolo-Schettini

المصدر: SIAM Journal on Computing. 4:307-320

مصطلحات موضوعية: Discrete mathematics, Strongly connected component, Recursion, Double recursion, General Computer Science, Left recursion, General Mathematics, Graph (abstract data type), Directed graph, Call graph, Mutual recursion, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::fed108560376ffcccfd640f8029a962e
https://doi.org/10.1137/0204025

المؤلفون: Barry K. Rosen

المصدر: Theoretical Computer Science. 2(2):183-207

مصطلحات موضوعية: Correctness, Theoretical computer science, General Computer Science, Computer science, Programming language, Mathematical proof, computer.software_genre, Theoretical Computer Science, Nondeterministic algorithm, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Program analysis, Asynchronous communication, Simple (abstract algebra), Parallelism (grammar), computer, Combinatorial explosion, Computer Science(all)

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

المؤلفون: Barry K. Rosen

المصدر: ACM SIGACT News. 7:26-31

مصطلحات موضوعية: Discrete mathematics, Multidisciplinary, Computer science, Church–Rosser theorem, Extremal graph theory, Planar graph, Combinatorics, symbols.namesake, Outerplanar graph, symbols, Graph minor, Cubic graph, Perfect graph theorem, Null graph

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bf54a899f7881c204b76dd721e29ec7b
https://doi.org/10.1145/1008343.1008344

المؤلفون: Barry K. Rosen

المصدر: ACM SIGPLAN Notices. 9:6-10

مصطلحات موضوعية: Theoretical computer science, Computer science, Semantics (computer science), Programming language, Comparison of multi-paradigm programming languages, Inline expansion, Optimizing compiler, Second-generation programming language, computer.software_genre, Semantics, Computer Graphics and Computer-Aided Design, Very high-level programming language, Functional compiler, Third-generation programming language, Compiler construction, Procedural programming, Manifest expression, Fourth-generation programming language, Compiler, Fifth-generation programming language, computer, Software, Programming language theory, Compiler correctness

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cd6e0e94acf7d050813e6ac13049b01e
https://doi.org/10.1145/986913.986916

المؤلفون: Barry K. Rosen

المصدر: Journal of the ACM. 26:322-344

مصطلحات موضوعية: Procedural programming, Artificial Intelligence, Hardware and Architecture, Control and Systems Engineering, Programming language, Computer science, computer.software_genre, computer, Software, Information Systems, Data-flow analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9e58e9f55fe6514b6ead87175d8074ef
https://doi.org/10.1145/322123.322135

المؤلفون: Barry K. Rosen

المصدر: Journal of Algorithms. 3:205-217

مصطلحات موضوعية: Discrete mathematics, Linear algorithm, Computational Mathematics, Control and Optimization, Computational Theory and Mathematics, Computer multitasking, Algorithm, Time complexity, Graph, MathematicsofComputing_DISCRETEMATHEMATICS, Mathematics, Exponential function

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c71568af6de9ad9f307b0aa703fde407
https://doi.org/10.1016/0196-6774(82)90020-7

المؤلفون: Zeev Barzilai, J.D. Rutledge, Barry K. Rosen, J.L. Carter

المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 6:601-617

مصطلحات موضوعية: Combinational logic, Functional verification, Sequential logic, Computer science, Design for testing, Integrated circuit, Fault (power engineering), Computer Graphics and Computer-Aided Design, law.invention, CMOS, law, Logic gate, Electrical and Electronic Engineering, Compiled language, Machine code, Software, Simulation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0910cbddfe92ebebe6f7030866fca164
https://doi.org/10.1109/tcad.1987.1270308

المؤلفون: Barry K. Rosen

المصدر: POPL

مصطلحات موضوعية: Discrete mathematics, Monoid, General Computer Science, Computer science, Total cost, Isotone, General Mathematics, Semilattice, Function (mathematics), Fixed point, Upper and lower bounds, Data flow diagram, Distributive property, Binary operation, Identity function, Algebraic number, Partially ordered set, Algorithm, Data-flow analysis, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4900c2d36586141f39eb9517595f5e07
https://doi.org/10.1137/0209015