Sciweavers

7430 search results - page 555 / 1486
» Programming Applications in CIFF
Sort
View
MICRO
2003
IEEE
116views Hardware» more  MICRO 2003»
16 years 9 days ago
Universal Mechanisms for Data-Parallel Architectures
Data-parallel programs are both growing in importance and increasing in diversity, resulting in specialized processors targeted at specific classes of these programs. This paper ...
Karthikeyan Sankaralingam, Stephen W. Keckler, Wil...
160
Voted
POPL
2010
ACM
16 years 4 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner
SEMWEB
2009
Springer
16 years 1 months ago
The OWL API: A Java API for Working with OWL 2 Ontologies
This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speci...
Matthew Horridge, Sean Bechhofer
IFL
2005
Springer
107views Formal Methods» more  IFL 2005»
16 years 17 days ago
With-Loop Fusion for Data Locality and Parallelism
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
Clemens Grelck, Karsten Hinckfuß, Sven-Bodo ...
CD
2004
Springer
16 years 13 days ago
MagicBeans: a Platform for Deploying Plugin Components
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
Robert Chatley, Susan Eisenbach, Jeff Magee