Sciweavers

5810 search results - page 147 / 1162
» An Approach to Programming Based on Concepts
Sort
View
SCAM
2008
IEEE
15 years 11 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
160
Voted
PDP
2009
IEEE
15 years 11 months ago
Task-Parallel versus Data-Parallel Library-Based Programming in Multicore Systems
—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...
Diego Andrade, Basilio B. Fraguela, James C. Brodm...
MICRO
1997
IEEE
82views Hardware» more  MICRO 1997»
15 years 8 months ago
Procedure Based Program Compression
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
Darko Kirovski, Johnson Kin, William H. Mangione-S...
158
Voted
EVOW
2007
Springer
15 years 8 months ago
Multiclass Object Recognition Based on Texture Linear Genetic Programming
This paper presents a linear genetic programming approach, that solves simultaneously the region selection and feature extraction tasks, that are applicable to common image recogni...
Gustavo Olague, Eva Romero, Leonardo Trujillo, Bir...
185
Voted
ECOWS
2006
Springer
15 years 8 months ago
WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
Frank Kaufer, Matthias Klusch