A non-traditional microprogramming language and its development using a compiler-compiler are described. An idea of the synergism that can develop between more user-oriented microprogramming tools, well-organized hard...
详细信息
A non-traditional microprogramming language and its development using a compiler-compiler are described. An idea of the synergism that can develop between more user-oriented microprogramming tools, well-organized hardware architecture, and compiler-compiler syntax structure is presented.
the design of a Pascal based microprogramming language is described. It is a Pascal dialect adapted to the task of microprogramming a highly pipelined, horizontal micro-architecture. the nature of high level microprog...
详细信息
the design of a Pascal based microprogramming language is described. It is a Pascal dialect adapted to the task of microprogramming a highly pipelined, horizontal micro-architecture. the nature of high level microprogramming languages, data and control structures, and the effect of a microprogramming environment on language and translator development are discussed. Certain complexities of horizontal micro-architectures are outlined.
A non-traditional microprogramming language and its development using a compiler-compiler are described. An idea of the synergism that can develop between more user-oriented microprogramming tools, well-organized hard...
详细信息
A non-traditional microprogramming language and its development using a compiler-compiler are described. An idea of the synergism that can develop between more user-oriented microprogramming tools, well-organized hardware architecture, and compiler-compiler syntax structure is presented.
the design of a Pascal based microprogramming language is described. It is a Pascal dialect adapted to the task of microprogramming a highly pipelined, horizontal micro-architecture. the nature of high level microprog...
详细信息
the design of a Pascal based microprogramming language is described. It is a Pascal dialect adapted to the task of microprogramming a highly pipelined, horizontal micro-architecture. the nature of high level microprogramming languages, data and control structures, and the effect of a microprogramming environment on language and translator development are discussed. Certain complexities of horizontal micro-architectures are outlined.
this book constitutes revised selected papers of the 19thinternationalconference on Applications of Declarative programming and Knowledge Management, INAP 2011, and the 25th Workshop on logicprogramming, WLP 2011, ...
详细信息
ISBN:
(数字)9783642415241
ISBN:
(纸本)9783642415234
this book constitutes revised selected papers of the 19thinternationalconference on Applications of Declarative programming and Knowledge Management, INAP 2011, and the 25th Workshop on logicprogramming, WLP 2011, held in Vienna, Austria, in September 2011. the 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. the book also contains the papers of two invited talks. the papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logicprogramming; answer-set programming and model expansion; application papers; and system descriptions.
this book constitutes the proceedings of the 19thinternationalconference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. the 42 papers presented ...
详细信息
ISBN:
(数字)9783642367427
ISBN:
(纸本)9783642367410
this book constitutes the proceedings of the 19thinternationalconference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013.
the 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. they are organized in topical sections named: Markov chains; termination; SAT/SMT; games and synthesis; process algebra; pushdown; runtime verification and model checking; concurrency; learning and abduction; timed automata; security and access control; frontiers (graphics and quantum); functional programs and types; tool demonstrations; explicit-state model checking; Büchi automata; and competition on software verification.
the two-volume set LNBIP 547 + LNBIP 548 constitutes the proceedings of the 19thinternationalconference on Research Challenges in Information Sciences, RCIS 2025, which took place in Seville, Spain, in May 2025. It ...
详细信息
ISBN:
(数字)9783031924712
ISBN:
(纸本)9783031924705
the two-volume set LNBIP 547 + LNBIP 548 constitutes the proceedings of the 19thinternationalconference on Research Challenges in Information Sciences, RCIS 2025, which took place in Seville, Spain, in May 2025. It focused on the special theme: Advancing Information Science and Information Systems Quality in the Era of Complexity.
the scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented approaches; data and information management; business process management; domain-specific information systems engineering; data science; information infrastructures, and reflective research and practice.
the 33 full papers and 13 short papers included in the proceedings were carefully reviewed and selected from 103 submissions. they were organized in topical sections as follows:
Part I: Information systems quality; security, risk and strategy; conceptual modeling and ontologies; modeling methods and requiremments engineering; databases informaiton management; human factors in information systems; business process engineering and management;
Part II: Machine-learning and generative AI applications; RCIS Forum; and RCIS Doctoral Consortium.
this book constitutes the refereed proceedings of the 5thinternationalconference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. the 19 contributions presented together with one invit...
详细信息
ISBN:
(数字)9783642389863
ISBN:
(纸本)9783642389856
this book constitutes the refereed proceedings of the 5thinternationalconference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. the 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. the papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies.
this book constitutes the refereed proceedings of the 19thinternationalconference on DNA Computing and Molecular programming, DNA 19, held in Tempe, AZ, USA, in September 2013. the 14 full papers presented were care...
详细信息
ISBN:
(数字)9783319019284
ISBN:
(纸本)9783319019277
this book constitutes the refereed proceedings of the 19thinternationalconference on DNA Computing and Molecular programming, DNA 19, held in Tempe, AZ, USA, in September 2013. the 14 full papers presented were carefully selected from 29 submissions. the papers are organized in many disciplines (including mathematics, computer science, physics, chemistry, material science and biology) to address the analysis, design, and synthesis of information-based molecular systems.
this two-volume set (CCIS 1601-1602) constitutes the proceedings of the 19thinternationalconference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2021, held in Milan, Italy...
详细信息
ISBN:
(数字)9783031089749
ISBN:
(纸本)9783031089732
this two-volume set (CCIS 1601-1602) constitutes the proceedings of the 19thinternationalconference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2021, held in Milan, Italy, in July 2022.
暂无评论