Version du Tue Oct 15 18 : 07 : 38 MET DST 2002 On combining the Persistent Sets Method
نویسنده
چکیده
Concurrent systems are commonly veriied after computing a state graph describing all possible behaviors. Unfortunately, this state graph is often too large to be eeectively built. Partial-order techniques have been developed to avoid combinatorial explosion while preserving the properties of interest. This paper investigates the combination of two such approaches, persistent sets and covering steps, and proposes partial enumeration algorithms that cumulate their respective beneets.
منابع مشابه
For : jrp Printed on : Tue , Oct 4 , 1994 12 : 11 : 57 Document : iee _ paper _ 10 Last saved on : Wed , Feb 9 , 1994 15 : 39 : 19
متن کامل
Weighted Polynomials and Weighted Pluripotential Theory
X iv :m at h/ 06 10 33 0v 1 [ m at h. C V ] 1 0 O ct 2 00 6 From miranda Tue Oct 10 09:42:48 2006 Return-Path: ¡[email protected]¿ Received: miranda@localhost) by coxeter.math.toronto.edu (AIX5.2/8.11.6p2/8.11.0/UTMath 1.0) id k9ADgmn118742; Tue, 10 Oct 2006 09:42:48 -0400 Date: Tue, 10 Oct 2006 09:42:48 -0400 From: Miranda Tang ¡[email protected] Message-Id: ¡200610101342.k9ADgmn118742...
متن کاملAbbreviations.
Joint Implementation Supervisory Committee Tenth meeting Report Annex 3 Annex 3 SCHEDULE OF MEETINGS OF THE JOINT IMPLEMENTATION SUPERVISORY COMMITTEE IN 2008 Mo Tue Wed Thur Fri Sat Sun Mo Tue Wed Thur Fri Sat Sun Mo Tue Wed Thur Fri Sat Sun Mo Tue Wed Thur Fri Sat Sun Mo Tue 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17...
متن کاملConstraint - based processing and advanced parsing techniques
Dates 1. Tue, 27. March: Introduction 2. Thu, 29. March: Chunk parsing (Erhard) read before seminar: Abney (1995, 1996) 3. Tue, 3. April : Processing with HPSG linguistics (Detmar) read before seminar: Meurers (1994) 4. Thu, 5. April : Processing with HPSG linguistics (Detmar) 5. Tue, 10. April : 6. Thu, 12. April : at upenn, reschedule? 7. Tue, 17. April : 8. Thu, 19. April : 9. Tue, 24. April...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002