View in EDS

FORMAL DEVELOPMENT OF NoC SYSTEMS IN B.

Saved in:
Bibliographic Details
Title: FORMAL DEVELOPMENT OF NoC SYSTEMS IN B.
Authors: Tsiopoulos, Leonidas1 Leonidas.Tsiopoulos@abo.fi, Waldén, Marina1 Marina.Walden@abo.fi
Source: Nordic Journal of Computing. Summer2006, Vol. 13 Issue 1/2, p127-145. 19p. 12 Diagrams, 1 Chart.
Subjects: B method (Computer science), Computer architecture, Technical specifications, Standardization, Modular arithmetic
Abstract: The article discussess on the need to ensure that development of complex Network-on-Chip (NoC) systems satisfy their functional requirements. The B action systems formalism has been utilized to get the main purpose. General formal framework has also been utilized instead of architectures with complex controllers and complex arbiter modules for deciding the routing path of a data packet.
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 21995086
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: FORMAL DEVELOPMENT OF NoC SYSTEMS IN B.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Tsiopoulos%2C+Leonidas%22">Tsiopoulos, Leonidas</searchLink><relatesTo>1</relatesTo><i> Leonidas.Tsiopoulos@abo.fi</i><br /><searchLink fieldCode="AR" term="%22Waldén%2C+Marina%22">Waldén, Marina</searchLink><relatesTo>1</relatesTo><i> Marina.Walden@abo.fi</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Nordic+Journal+of+Computing%22">Nordic Journal of Computing</searchLink>. Summer2006, Vol. 13 Issue 1/2, p127-145. 19p. 12 Diagrams, 1 Chart.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22B+method+%28Computer+science%29%22">B method (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+architecture%22">Computer architecture</searchLink><br /><searchLink fieldCode="DE" term="%22Technical+specifications%22">Technical specifications</searchLink><br /><searchLink fieldCode="DE" term="%22Standardization%22">Standardization</searchLink><br /><searchLink fieldCode="DE" term="%22Modular+arithmetic%22">Modular arithmetic</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The article discussess on the need to ensure that development of complex Network-on-Chip (NoC) systems satisfy their functional requirements. The B action systems formalism has been utilized to get the main purpose. General formal framework has also been utilized instead of architectures with complex controllers and complex arbiter modules for deciding the routing path of a data packet.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=21995086
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 19
        StartPage: 127
    Subjects:
      – SubjectFull: B method (Computer science)
        Type: general
      – SubjectFull: Computer architecture
        Type: general
      – SubjectFull: Technical specifications
        Type: general
      – SubjectFull: Standardization
        Type: general
      – SubjectFull: Modular arithmetic
        Type: general
    Titles:
      – TitleFull: FORMAL DEVELOPMENT OF NoC SYSTEMS IN B.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Tsiopoulos, Leonidas
      – PersonEntity:
          Name:
            NameFull: Waldén, Marina
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 06
              Text: Summer2006
              Type: published
              Y: 2006
          Identifiers:
            – Type: issn-print
              Value: 12366064
          Numbering:
            – Type: volume
              Value: 13
            – Type: issue
              Value: 1/2
          Titles:
            – TitleFull: Nordic Journal of Computing
              Type: main
ResultId 1