2152 search results - page 313 / 431 » On Automating the Calculus of Relations |
123
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
97
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...
112
Voted
SP
2009
IEEE
15 years 7 months ago
2009
IEEE
—This paper studies and evaluates the extent to which automated compiler techniques can defend against timing-based side-channel attacks on modern x86 processors. We study how mo...
112
Voted
TOOLS
2009
IEEE
15 years 7 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
111
click to vote
IWMM
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...