3388 search results - page 587 / 678 » Type-theoretic design patterns |
MICRO
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents a task-centric memory model for 1000-core compute accelerators. Visual computing applications are emerging as an important class of workloads that can exploit ...
SPEECH
2010
13 years 8 months ago
2010
One key aspect of face-to-face communication concerns the differences that may exist between speakers’ native regional accents. This paper focuses on the characterization of re...
TOH
2010
13 years 8 months ago
2010
—As technology advances, more functions have been, and continue to be added to the vehicle, resulting in increased needs for improved user interfaces. In this paper, we investiga...
TVCG
2010
13 years 8 months ago
2010
As data sources become larger and more complex, the ability to effectively explore and analyze patterns amongst varying sources becomes a critical bottleneck in analytic reasoning...
WRLA
2010
13 years 8 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...