2586 search results - page 445 / 518 » Automatic Abstraction for Congruences |
102
click to vote
MICRO
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
106
click to vote
REALWSN
2010
14 years 6 months ago
2010
Abstract. Environmental scientists frequently engage in "campaignstyle" deployments, where they visit a location for a relatively short period of time (several weeks to m...
133
click to vote
TASLP
2010
14 years 6 months ago
2010
Abstract--This paper presents a model for machine aided human translation (MAHT) that integrates source language text and target language acoustic information to produce the text t...
TASLP
2010
14 years 6 months ago
2010
Abstract-The CALO Meeting Assistant (MA) provides for distributed meeting capture, annotation, automatic transcription and semantic analysis of multiparty meetings, and is part of ...
126
click to vote
TCAD
2010
14 years 6 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...