149
click to vote
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...