loading...
Voice Over IP: Correct Hardware/Software Co-Design
Bologna, Italy October 31-November 02
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FTDCS.2001.9696418th IEEE Workshop on Future Trends of ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
H. Zedan, A. Cau, "Voice Over IP: Correct Hardware/Software Co-Design," Future Trends of Distributed Computing Systems, IEEE International Workshop, pp. 0194, 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/FTDCS.2001.969641,
author = {H. Zedan and A. Cau},
title = {Voice Over IP: Correct Hardware/Software Co-Design},
journal ={Future Trends of Distributed Computing Systems, IEEE International Workshop},
volume = {0},
year = {2001},
isbn = {0-7695-1384-0},
pages = {0194},
doi = {http://doi.ieeecomputersociety.org/10.1109/FTDCS.2001.969641},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Future Trends of Distributed Computing Systems, IEEE International Workshop
TI - Voice Over IP: Correct Hardware/Software Co-Design
SN - 0-7695-1384-0
SP
EP
A1 - H. Zedan,
A1 - A. Cau,
PY - 2001
VL - 0
JA - Future Trends of Distributed Computing Systems, IEEE International Workshop
ER -
 
H. Zedan, De Montfort University
A. Cau, De Montfort University
We describe an integrated and compositional technique, together with its supporting toolset, for hardware/software co-design. The co-design process is soundly based upon formal techniques, but includes integrated support for simulation. A unique characteristic of our framework is that it can validate and analyse system?s behaviours of interest compositionally and within a single logical formalism, namely Interval Temporal Logic (ITL) and its executable subset, (Ana)Tempura. The paper presents voice over IP as an application to our framework.
Citation:
H. Zedan, A. Cau, "Voice Over IP: Correct Hardware/Software Co-Design," ftdcs, pp.0194, 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.