388 search results - page 59 / 78 » C APIs in Extension and Extensible Languages |
WCRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
SIGIR
2010
ACM
13 years 12 months ago
2010
ACM
Generative models such as statistical language modeling have been widely studied in the task of expert search to model the relationship between experts and their expertise indicat...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
POPL
1990
ACM
13 years 11 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
WICON
2008
13 years 9 months ago
2008
Integrating wireless sensor networks in heterogeneous networks is a complex task. A reason is the absence of a standardized data exchange format that is supported in all participa...