Abstract | ||
---|---|---|
Most embedded systems consist of distributed but highly interconnected applications. Lots of resources are invested to design and implement reliable and efficient communication systems. This paper introduces a new approach for the prototyping of communication ... |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/RSP.2005.43 | IEEE International Workshop on Rapid System Prototyping |
Keywords | Field | DocType |
selective formalism,efficient communication system,new approach,rapid prototyping,embedded system,embedded software,automatic control,computer languages,prototypes,source code,communicating sequential processes,field programmable gate arrays,chip,point of sale,embedded systems,formal specification,formal verification,system on chip,spine | Rapid prototyping,Computer architecture,System on a chip,Embedded software,Source code,Computer science,Software prototyping,Real-time computing,Formal specification,Software,Embedded system,Formal verification | Conference |
ISBN | Citations | PageRank |
0-7695-2361-7 | 2 | 0.48 |
References | Authors | |
2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
John B. Carter | 1 | 1785 | 162.82 |
Ming Xu | 2 | 2 | 0.48 |
W. B. Gardner | 3 | 17 | 3.90 |