312 search results - page 3 / 63 » Restricting and Embedding Imperatives |
PLDI
2009
ACM
14 years 6 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
CISS
2011
IEEE
12 years 9 months ago
2011
IEEE
—Signals of interests can often be thought to come from a low dimensional signal model. The exploitation of this fact has led to many recent interesting advances in signal proces...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Consider an m
COMGEO
2011
ACM
13 years 23 days ago
2011
ACM
A set of planar graphs share a simultaneous embedding if they can be drawn on the same vertex set V in the Euclidean plane without crossings between edges of the same graph. Fixed ...
OOPSLA
2004
Springer
13 years 11 months ago
2004
Springer
