67 search results - page 11 / 14 » Design Automation for Deepsubmicron: Present and Future |
TPHOL
2007
IEEE
15 years 5 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 5 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
15 years 1 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...
114
click to vote
BMCBI
2010
14 years 6 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...
87
Voted
CHI
2009
ACM
16 years 5 days 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...