8009 search results - page 1375 / 1602 » cans 2005 |
179
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
184
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
184
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
176
click to vote
ASPDAC
2005
ACM
16 years 8 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
163
click to vote
ASPDAC
2005
ACM
16 years 8 days ago
2005
ACM
To handle modern routing with nanometer effects, we need to consider designs of variable wire widths and spacings, for which gridless routers are desirable due to their great fle...