Aspects of the design and implementation of CSP/80, a language based on Hoare9;s communicating sequential processes, are discussed. the goal of the design has been to stay as close to Hoare9;s original notation ...
详细信息
Aspects of the design and implementation of CSP/80, a language based on Hoare's communicating sequential processes, are discussed. the goal of the design has been to stay as close to Hoare's original notation as possible. the goal of the implementation has been to reduce the amount of reinvention by making utmost use of facilities provided by the operating system (UNIX). this has shortened the implementation time considerably. CSP/80 is to be used for evaluating CSP as a programming language for distributed processing applications.
the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language) is outlined. the goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware...
详细信息
the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language) is outlined. the goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware evaluator envisioned in the Applicative Multi-Processor Systems AMPS. Included in the analysis are a formalization of demand-driven computation, the introduction of an intermediate graphic language IGL to aid in the proofs, and discussion of pragmatic issues involved in the AMPS machine language design.
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer...
详细信息
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer″ and a ″worker″ . the observer implements a Petri net-based abstract model of high level control specifications. the worker is composed of the set of running processes, implemented by standard methods. the basic principle consists of comparing at run time the current control states of both worker and observer through checkpoints. Both formal description and actual implementation are analyzed.
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer...
详细信息
this paper describes a software redundancy technique allowing run time checking of the control structure of concurrent processes. the proposed idea leads to implementing the system in two distinct parts: an ″observer″ and a ″worker″ . the observer implements a Petri net-based abstract model of high level control specifications. the worker is composed of the set of running processes, implemented by standard methods. the basic principle consists of comparing at run time the current control states of both worker and observer through checkpoints. Both formal description and actual implementation are analyzed.
this paper outlines some of the things that an operating system designer looks for in a programming language. this working paper was submitted to the ***. SIGPLAN/SIGOPS Interface Meeting held at Savannah, Georgia fro...
this book constitutes the refereed proceedings of the 9thinternational Haifa Verification conference, HVC 2013, held in Haifa, Israel in November 2013. the 24 revised full papers presented were carefully reviewed and...
详细信息
ISBN:
(数字)9783319030777
ISBN:
(纸本)9783319030760
this book constitutes the refereed proceedings of the 9thinternational Haifa Verification conference, HVC 2013, held in Haifa, Israel in November 2013. the 24 revised full papers presented were carefully reviewed and selected from 49 submissions. the papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
this book constitutes the refereed proceedings of the 9thinternationalconference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.;the 10 full papers and 2 short pape...
详细信息
ISBN:
(数字)9783319425474
ISBN:
(纸本)9783319425467
this book constitutes the refereed proceedings of the 9thinternationalconference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.;the 10 full papers and 2 short papers presented were carefully reviewed and selected;from a total of 41 submissions. the papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
this book constitutes the refereed proceedings of the 9thinternationalconference on Concurrency theory, CONCUR9;98, held in Nice, France, in September 1998.;the 35 revised full papers presented were carefully sel...
详细信息
ISBN:
(数字)9783540684558
ISBN:
(纸本)9783540648963
this book constitutes the refereed proceedings of the 9thinternationalconference on Concurrency theory, CONCUR'98, held in Nice, France, in September 1998.;the 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..
this book constitutes the refereed post-proceedings of the 9th IFIP internationalconference on Network and Parallel Computing, NPC 2012, held in Gwangju, Korea, in September 2012. the 38 papers presented were careful...
详细信息
ISBN:
(数字)9783642356063
ISBN:
(纸本)9783642356056
this book constitutes the refereed post-proceedings of the 9th IFIP internationalconference on Network and Parallel Computing, NPC 2012, held in Gwangju, Korea, in September 2012. the 38 papers presented were carefully reviewed and selected from 136 submissions. the papers are organized in the following topical sections: algorithms, scheduling, analysis, and data mining; network architecture and protocol design; network security; paralel, distributed, and virtualization techniques; performance modeling, prediction, and tuning; resource management; ubiquitous communications and networks; and web, communication, and cloud computing. In addition, a total of 37 papers selected from five satellite workshops (ATIMCN, ATSME, Cloud&Grid, DATICS, and UMAS 2012) are included.
this book constitutes the refereed proceedings of the 21th IFIP WG 6.1 internationalconference on Testing Communicating Systems, TESTCOM 2009, and the 9thinternational Workshop on Formal Approaches to Testing of Sof...
详细信息
ISBN:
(数字)9783642050312
ISBN:
(纸本)9783642050305
this book constitutes the refereed proceedings of the 21th IFIP WG 6.1 internationalconference on Testing Communicating Systems, TESTCOM 2009, and the 9thinternational Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, the Netherlands, in November 2009. the 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. the papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
暂无评论