[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/isss/Vahid95>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Frank_Vahid>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1145%2F224486.224506>
foaf:homepage <https://doi.org/10.1145/224486.224506>
dc:identifier DBLP conf/isss/Vahid95 (xsd:string)
dc:identifier DOI doi.org%2F10.1145%2F224486.224506 (xsd:string)
dcterms:issued 1995 (xsd:gYear)
rdfs:label Procedure exlining: a transformation for improved system and behavioral synthesis. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Frank_Vahid>
swrc:pages 84-89 (xsd:string)
dcterms:partOf <https://dblp.l3s.de/d2r/resource/publications/conf/isss/1995>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/isss/Vahid95/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/isss/Vahid95>
rdfs:seeAlso <http://dblp.uni-trier.de/db/conf/isss/isss1995.html#Vahid95>
rdfs:seeAlso <https://doi.org/10.1145/224486.224506>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/isss>
dc:subject VHDL transformation tool, behavioral specification, behavioral synthesis, distinct computation, distributed processing, formal specification, hardware description languages, procedure calls, procedure exlining, procedure inlining, redundant sequences, remote procedure calls, statements, synthesis tools, system synthesis (xsd:string)
dc:title Procedure exlining: a transformation for improved system and behavioral synthesis. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:InProceedings
rdf:type foaf:Document