956 search results - page 21 / 192 » Dimensions in program synthesis |
115
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
95
Voted
EH
2002
IEEE
15 years 7 months ago
2002
IEEE
Most real-world controllers are composed of proportional, integrative, and derivative signal processing blocks. The so-called PID controller was invented and patented by Callender...
119
Voted
ICCD
2004
IEEE
15 years 11 months ago
2004
IEEE
Network-on-chip (NoC) has been proposed as a solution for the communication challenges of System-on-chip (SoC) design in the nanoscale regime. SoC design offers the opportunity fo...
144
Voted
CCE
2008
15 years 2 months ago
2008
The problem of optimal synthesis of an integrated water system is addressed in this work, where water using processes and water treatment operations are combined into a single net...
256
Voted
FCCM
2011
IEEE
14 years 6 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...