Sciweavers

2555 search results - page 388 / 511
» Putting complex systems to work
Sort
View
PPOPP
2010
ACM
16 years 2 months ago
Fast tridiagonal solvers on the GPU
We study the performance of three parallel algorithms and their hybrid variants for solving tridiagonal linear systems on a GPU: cyclic reduction (CR), parallel cyclic reduction (...
Yao Zhang, Jonathan Cohen, John D. Owens
SAC
2009
ACM
16 years 3 days ago
Enhancing XML data warehouse query performance by fragmentation
XML data warehouses form an interesting basis for decisionsupport applications that exploit heterogeneous data from multiple sources. However, XML-native database systems currentl...
Hadj Mahboubi, Jérôme Darmont
132
Voted
CSMR
2009
IEEE
16 years 2 days ago
Static Security Analysis Based on Input-Related Software Faults
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
Csaba Nagy, Spiros Mancoridis
134
Voted
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
16 years 2 days ago
A MILP-based approach to path sensitization of embedded software
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
José C. Costa, José C. Monteiro
ICDAR
2009
IEEE
16 years 1 days ago
Logo Matching for Document Image Retrieval
Graphics detection and recognition are fundamental research problems in document image analysis and retrieval. As one of the most pervasive graphical elements in business and gove...
Guangyu Zhu, David S. Doermann