The Formal Execution Semantics of SpecC

Field: More fields of science   DOWNLOAD   BOOKMARK  REPORT   

  • citeseer  status
    (0) (0 Votes)
    		Views: (1003)  
    Date:     (08-04-09)  
    Pages:     ()

  • Author:  unknown authors

  • Abstract:

Write a Comment


     Related Documents
Accounting of computer system use in EXEC 8
Accounting of computer system use in EXEC 8
EXEC: An Evolvable and eXtensible Environment for Collaboration

  • EXEC: An Evolvable and eXtensible Environment for Collaboration

  • Abstract This paper presents an evolvable and extensible environment for collaboration (EXEC), which aims to address the long-identified flexibility and reusability issues in collaborative systems. Due to the clean separation between data and control, both user interface components (data) and coordination service components (control) can be reused for developing collaborative applications and be flexibly bound at run time to address the evolutionary needs of collaboration tasks. Additionally, new collaboration tools can be easily prototyped to...

 Interleaving Temporal Planning and Execution I XTE T- EXEC

  • Interleaving Temporal Planning and Execution I XTE T- EXEC

  • Execution control of plans is a very active domain of research, but remains a major challenge when performed on board real autonomous systems such as robots or satellites. In such a context, where execution concurrency, resources contention and environment dynamic characterize the domain, the use of a temporal planner and a temporal execution control system is desirable. This paper presents IXTE T- EXEC, a recent extension of the temporal planner IXTE T which allows execution control, plan repair, and replanning when necessary. This paper is a ...

 The Executive Information System (EXEC-IS): a local area networkapplication
Functional design specifications for EXEC 8 general plot program (X8PLOT)
Functional design specifications for EXEC 8 general plot program (X8PLOT)
Functional design specifications for EXEC 8 general plot program (X8PLOT)
Functional design specifications for EXEC 8 general plot program (X8PLOT)
A taxing departure Exec leaves Ill hospital that lost state exempt status

  •       > LOGIN OR SIGN UP FOR FREE NOW!




         Related Videos
    Insidermedicine in 60 - June 26, 2007
    Insidermedicine in 60 - February 12, 2008
    insidermedicine in 60 - October 30, 2007
    Eames Era (Mid Century Modern Design Today)
    WCCTF 1: Key Developments in Formal Financial Institutions - Panel 1
    The Solicitor s Handbook 2009 - second edition
    Mediator Skills and Techniques: Triangle of Influence
    Edmund Phelps - XX Villa Mondragone International Economic Seminar 2008 (6)
    Edmund Phelps - XX Villa Mondragone International Economic Seminar 2008 (1)
    Edmund Phelps - XX Villa Mondragone International Economic Seminar 2008 (2)

         Related Groups
    Exec
    EXEC 2

    • EXEC 2

    • EXEC 2 is an interpreted, command procedure control, compute...

     CMS EXEC

    • CMS EXEC

    • CMS EXEC, or EXEC, is an interpreted, command procedure cont...

     UNIVAC EXEC 8

    • UNIVAC EXEC 8

    • EXEC 8 (sometimes referred to as EXEC VIII) was UNIVAC's ope...

     UNIVAC EXEC II

    • UNIVAC EXEC II

    • EXEC II was an operating system developed for the UNIVAC 110...

     Exec Shield

    • Exec Shield

    • Exec Shield is a project started at Red Hat, Inc in late 200...

     Fork-exec

    • Fork-exec

    • Fork-exec is a commonly used technique in Unix whereby an ex...

     Canada's Next Top Ad Exec
    Backup Exec

    • Backup Exec

    • Backup Exec is backup software currently developed by Symant...

     Exec (Amiga)

    • Exec (Amiga)

    • Exec is the object-oriented multi-tasking kernel of AmigaOS....

         Embed on a Website/Blog
    • URL:




























     

    Powered free by PHPmotion