Sciweavers

62 search results - page 3 / 13
» Shifting Up Reflection from the Implementation to the Analys...
Sort
View
CC
2011
Springer
270views System Software» more  CC 2011»
14 years 1 months ago
Subregion Analysis and Bounds Check Elimination for High Level Arrays
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
Mackale Joyner, Zoran Budimlic, Vivek Sarkar
BMCBI
2008
132views more  BMCBI 2008»
14 years 9 months ago
Exon level integration of proteomics and microarray data
Background: Previous studies comparing quantitative proteomics and microarray data have generally found poor correspondence between the two. We hypothesised that this might in par...
Danny A. Bitton, Michal J. Okoniewski, Yvonne Conn...
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
15 years 3 months ago
Coordination Network Analysis: A Research Framework for Studying the Organizational Impacts of Service-Orientation in Business I
Business intelligence (BI) technology and research is maturing. In evidence, some practitioners have indicated a shift in the nature of their data warehousing challenges from bein...
Mark Keith, Haluk Demirkan, Michael Goul
CCECE
2006
IEEE
15 years 3 months ago
FPGA-Based SAT Solver
Several approaches have been proposed to accelerate the NP-complete Boolean Satisfiability problem (SAT) using reconfigurable computing. We present an FPGA based clause evaluator,...
Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
DAGSTUHL
2009
14 years 10 months ago
Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...
Nelly Bencomo, Gordon S. Blair