67 search results - page 11 / 14 » Design Automation for Deepsubmicron: Present and Future |
62
Voted
TPHOL
2007
IEEE
15 years 3 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
SIGSOFT
2006
ACM
15 years 3 months ago
2006
ACM
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
FLAIRS
2006
14 years 11 months ago
2006
The huge volumes of unstructured texts available online drives the increasing need for automated techniques to analyze and extract knowledge from these repositories of information...
101
click to vote
BMCBI
2010
14 years 4 months ago
2010
Background: DNA Microarrays have become the standard method for large scale analyses of gene expression and epigenomics. The increasing complexity and inherent noisiness of the ge...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
While most collaboration technologies are concerned with supporting particular tasks such as workflows or meetings, many work groups do not have the teamwork skills essential to e...