VMCAI
2014
Springer
11 years 27 days ago
2014
Springer
Abstract. Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often imp...
310
Voted
VEE
2014
ACM
11 years 27 days ago
2014
ACM
Abstractions Galen Hunt Principal Researcher Microsoft Research Operating Systems Group 1
88
Voted
SODA
2014
ACM
11 years 27 days ago
2014
ACM
148
click to vote
SFP
2014
11 years 27 days ago
2014
Methods for mathematically basic and precise description of system behavior at discrete interfaces have been developed by David Parnas and his groups and collaborators over many ye...
REFSQ
2014
Springer
11 years 27 days ago
2014
Springer