Search Sciweavers | Sciweavers

228 search results - page 3 / 46

» Synthesis from Production-Based Specifications

111

click to vote

CONCUR
2005
Springer

98views Distributed And Parallel Com...» more CONCUR 2005»

Synthesis of Distributed Systems from Knowledge-Based Specifications

15 years 9 months ago

Download www.cse.unsw.edu.au

Ron van der Meyden, Thomas Wilke

claim paper

Read More »

122

Voted

HICSS
2003
IEEE

106views Biometrics» more HICSS 2003»

Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications

15 years 9 months ago

Download www.hicss.hawaii.edu

Ali E. Abdallah, John Hawkins

claim paper

Read More »

123

click to vote

ISSS
1996
IEEE

94views Hardware» more ISSS 1996»

Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification

15 years 8 months ago

Download www.scarpaz.com

Luca Benini, Patrick Vuillod, Claudionor Jos&eacut...

claim paper

Read More »

101

Voted

EURODAC
1994
IEEE

124views VHDL» more EURODAC 1994»

Parallel controller synthesis from a Petri net specification

15 years 8 months ago

Download www.cecs.uci.edu

Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...

claim paper

Read More »

Voted

SC
2000
ACM

93views Applied Computing» more SC 2000»

A Framework for Sparse Matrix Code Synthesis from High-level Specifications

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers