2416 search results - page 388 / 484 » The Language of Cortical Dynamics |
203
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
177
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
175
click to vote
ASPLOS
2010
ACM
16 years 21 days ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
155
click to vote
CLEAR
2007
Springer
16 years 11 days ago
2007
Springer
The paper describes the IBM systems submitted to the NIST Rich Transcription 2007 (RT07) evaluation campaign for the speechto-text (STT) and speaker-attributed speech-to-text (SAST...
168
click to vote
PPOPP
2006
ACM
16 years 4 days ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...