1382 search results - page 125 / 277 » Formal Analysis of Online Algorithms |
161
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
174
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
167
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a methodology for aiding a scientific programmer to evaluate the performance of parallel programs on advanced architectures. It applies well-defined design o...
180
click to vote
RTAS
2007
IEEE
16 years 20 days ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
179
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Ontologies are at the heart of the semantic web. They define the concepts and relationships that make global interoperability possible. However, as these ontologies grow in size t...