检索结果-内蒙古大学图书馆

Proceedings of the Hawaii International Conference on System Sciences 1978年 3卷 69-84页

作者： Ferguson Edward E. Ligler, George T.

TI Pascal (TIP) has been developed as a primary software tool for the production of systems and scientific software within Texas Instruments; emphasis has been given to applications on minicomputer and embdeed microprocessor and microcomputer systems. the target applications of the language constitute an operating environment in which the design and implementation of the run-time support system are critical issues. An overview of the TIP system is given, and the TIP run-time support system is described.

关键词： COMPUTER programming languages

来源：评论

学校读者我要写书评

暂无评论

TI PASCAL SYSTEM: RUN-TIME SUPPORT.

TI PASCAL SYSTEM: RUN-TIME SUPPORT.

引用

Proc Hawaii Int Conf Syst Sci 11th

作者： Ferguson Edward E. Ligler, George T.

TI Pascal (TIP) has been developed as a primary software tool for the production of systems and scientific software within Texas Instruments;emphasis has been given to applications on minicomputer and embdeed microprocessor and microcomputer systems. the target applications of the language constitute an operating environment in which the design and implementation of the run-time support system are critical issues. An overview of the TIP system is given, and the TIP run-time support system is described.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Advanced Parallel Processing Technologies 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Yunji Chen Paolo Ienne Qing Ji

ISBN: (数字)9783319232164

ISBN: (纸本)9783319232157

this book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. the 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. they deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms and applications; and distributed and cloud computing.

关键词： Software Engineering Algorithm Analysis and Problem Complexity Computer Communication Networks operating systems programming languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

theorem Proving in Higher Order Logics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540498018

ISBN: (纸本)9783540649878

this book constitutes the refereed proceedings of the 11th International Conference on theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.;the 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. the papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.

关键词： Logics and Meanings of Programs Artificial Intelligence Software Engineering/programming and operating systems Mathematical Logic and Formal languages Software Engineering Logic Design

来源：评论

学校读者我要写书评

暂无评论

Distributed Algorithms 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540696001

ISBN: (纸本)9783540635758

this book constitutes the refereed proceedings of the 11th International workshop on Distributed Algorithms, WDAG '97, held in Saarbrücken, Germany, in September 1997.;the volume presents 20 revised full papers selected from 59 submissions. Also included are three invited papers by leading researchers. the papers address a variety of current issues in the area of distributed algorithms and, more generally, distributed systems such as various particular algorithms, randomized computing, routing, networking, load balancing, scheduling, message-passing, shared-memory systems, communication, graph algorithms, etc.

关键词： theory of Computation Computer Communication Networks Software Engineering/programming and operating systems Algorithm Analysis and Problem Complexity programming Techniques Computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

Formal Methods: Applications and Technology 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540709527

ISBN: (纸本)9783540709510

these are the joint ?nal proceedings of the 11th International workshop on Formal Methods for Industrial Critical systems (FMICS 2006) and the ?fth International workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR 2006, the 17th International Conference on Concurrency theory that was or- nized in Bonn, August 2006. the FMICS workshop continued successfully the aim of the FMICS working group – to promote the use of formal methods for industrial applications, by supporting research in this area and its application in industry. the emphasis in these workshops is on the exchange of ideas between researchers and prac- tioners, in both industry and academia. this year the Program Committee received a record number of submissions. the 16 accepted regular contributions and 2 accepted tool papers, selected out of a total of 47 submissions, cover formal methodologies for handling large state spaces, model-based testing, formal description and analysis techniques as well as a range of applications and case studies. the workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in an Industrial Setting” and by Edward A. Lee from the University of California at Berkeley on “Making C- currency Mainstream.” the former full paper can be found in this volume.

关键词： theory of Computation Software Engineering Logics and Meanings of Programs programming languages, Compilers, Interpreters Special Purpose and Application-Based systems

来源：评论

学校读者我要写书评

暂无评论

Advances in Model and Data Engineering in the Digitalization Era 1

引用

丛书名： Communications in Computer and Information Science

1000年

作者： Philippe Fournier-Viger Ahmed Hassan Ladjel Bellatreche Ahmed Awad Abderrahim Ait Wakrime Yassine Ouhammou Idir Ait Sadoune

ISBN: (数字)9783031231193

ISBN: (纸本)9783031231186

this volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.;the 11 short papers presented were selected from the total of 65 submissions. this volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. the volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.

关键词： Software Engineering/programming and operating systems Mathematics of Computing Artificial Intelligence Computer systems Organization and Communication Networks Data Structures and Information theory Information systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Euro-Par 2013: Parallel Processing workshops 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Dieter Mey Michael Alexander Paolo Bientinesi Carsten Clauss Mario Cannataro Alexandru Costan Christine Morin Gabor Kecskemeti Laura Ricci Julio Sahuquillo Martin Schulz Vittorio Scarano Stephen L. Scott Josef Weidendorfer

ISBN: (数字)9783642544200

ISBN: (纸本)9783642544194

this book constitutes thoroughly refereed post-conference proceedings of the workshops of the 19th International Conference on Parallel Computing, Euro-Par 2013, held in Aachen, Germany in August 2013. the 99 papers presented were carefully reviewed and selected from 145 submissions. the papers include seven workshops that have been co-located with Euro-Par in the previous years: - Big Data Cloud (Second workshop on Big Data Management in Clouds) - Hetero Par (11th workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms) - HiBB (Fourth workshop on High Performance Bioinformatics and Biomedicine) - OMHI (Second workshop on On-chip Memory Hierarchies and Interconnects) - PROPER (Sixth workshop on Productivity and Performance) - Resilience (Sixth workshop on Resiliency in High Performance Computing with Clusters, Clouds, and Grids) - UCHPC (Sixth workshop on Un Conventional High Performance Computing) as well as six newcomers: - DIHC (First workshop on Dependability and Interoperability in Heterogeneous Clouds) - Fed ICI (First workshop on Federative and Interoperable Cloud Infrastructures) - LSDVE (First workshop on Large Scale Distributed Virtual Environments on Clouds and P2P) - MHPC (workshop on Middleware for HPC and Big Data systems) -PADABS ( First workshop on Parallel and Distributed Agent Based Simulations) - ROME (First workshop on Runtime and operating systems for the Many core Era) All these workshops focus on promotion and advancement of all aspects of parallel and distributed computing.

关键词： System Performance and Evaluation Software Engineering/programming and operating systems Computer systems Organization and Communication Networks Database Management Algorithm Analysis and Problem Complexity Computer Science, general

来源：评论

学校读者我要写书评

暂无评论

ZUM ’98: the Z Formal Specification Notation 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Jonathan P. Bowen Andreas Fett Michael G. Hinchey

ISBN: (数字)9783540496762

ISBN: (纸本)9783540650706

1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. this seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? this is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to *** we are “pro-formal” or “anti-formal”, but rather the degree of formality (if any) that we need to support in system development. this is a goal of ZUM’98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany.

关键词： Software Engineering/programming and operating systems Software Engineering Logics and Meanings of Programs programming Techniques Mathematical Logic and Formal languages

来源：评论

学校读者我要写书评

暂无评论

SDL 2003: System Design 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rick Reed Jeanne Reed

ISBN: (数字)9783540450757

ISBN: (纸本)9783540405399

this volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the “best” design. this follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). the winning entry from SAM 2002 is described in the last paper in this volume. the SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Descr- tion Language ?rst standardized in the 1976 Orange Book of the International Telecommunication Union (ITU). From the start this graphical CEFSM (communicating extended ?nite state machines) notation was used both to describe the implementation of systems and to specify systems (especially protocol systems in standards). In the early days both types of description were quite informal, though speci?cations were certainly more formal than the main alternative: natural languagewith some ad hoc ?gures. Implementations were usually written in assembly language, which is at too low a level to reason well about the interaction between communic- ing agents within a system. In this case the notation provided an intermediate description that gave an overview of how the implementation worked, and often the actual logical development was done at the graphical level with hand coding of that description.

关键词： theory of Computation Computer Communication Networks Special Purpose and Application-Based systems Software Engineering programming languages, Compilers, Interpreters Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：