1114 search results - page 102 / 223 » Validating optimizations of concurrent C C programs |
114
click to vote
APLAS
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
184
click to vote
SEMWEB
2011
Springer
14 years 5 months ago
2011
Springer
We present the OWL API, a high level Application Programming Interface (API) for working with OWL ontologies. The OWL API is closely aligned with the OWL 2 structural specificatio...
102
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
140
click to vote
HISB
2011
14 years 2 months ago
2011
—Spinal cord analysis is an important problem in the study of various neurological diseases. Current segmentation and analysis methods in clinical use are slow and laborintensive...
144
Voted
CGO
2009
IEEE
15 years 6 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...