Sciweavers

1286 search results - page 160 / 258
» From System F to Typed Assembly Language
Sort
View
HPDC
2008
IEEE
14 years 3 months ago
Harmony: an execution model and runtime for heterogeneous many core systems
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
Gregory F. Diamos, Sudhakar Yalamanchili
POPL
2010
ACM
14 years 6 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...
VLDB
1999
ACM
97views Database» more  VLDB 1999»
14 years 1 months ago
Relational Databases for Querying XML Documents: Limitations and Opportunities
XML is fast emerging as the dominant standard for representing data in the World Wide Web. Sophisticated query engines that allow users to effectively tap the data stored in XML d...
Jayavel Shanmugasundaram, Kristin Tufte, Chun Zhan...
AIRS
2006
Springer
14 years 23 days ago
Efficient and Robust Phrase Chunking Using Support Vector Machines
Automatic text chunking is a task which aims to recognize phrase structures in natural language text. It is the key technology of knowledge-based system where phrase structures pro...
Yu-Chieh Wu, Jie-Chi Yang, Yue-Shi Lee, Show-Jane ...
TIT
2010
96views Education» more  TIT 2010»
13 years 3 months ago
Beyond Nyquist: efficient sampling of sparse bandlimited signals
Wideband analog signals push contemporary analog-to-digital conversion systems to their performance limits. In many applications, however, sampling at the Nyquist rate is inefficie...
Joel A. Tropp, Jason N. Laska, Marco F. Duarte, Ju...