|
|
|
Volumn , Issue , 1994, Pages 210-217
|
|
Towards provably correct hardware/software partitioning using occam
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGEBRA;
ALGORITHMS;
COMPUTATIONAL LINGUISTICS;
COMPUTER HARDWARE;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SOFTWARE;
COMPUTER SYSTEMS;
ALGEBRAIC LAWS;
ALGEBRAIC TRANSFORMATIONS;
HARDWARE SOFTWARE COMPONENTS;
HARDWARE SOFTWARE PARTITIONING;
PROGRAM TRANSFORMATION;
SOFTWARE PACKAGE OCCAM;
SYSTEMS ANALYSIS;
|
|
EID: 0028552661
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (18)
|
|
References (12)
|
