5832 search results - page 684 / 1167 » Software complexity and maintainability |
203
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
221
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
Computing the Dodgson Score of a candidate in an election is a hard computational problem, which has been analyzed using classical and parameterized analysis. In this paper we reso...
185
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
180
Voted
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Real-time high-definition video encoding is a computationhungry task that challenges software-based solutions. For that, in this work we adopted an Intel software implementation o...
242
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
The current challenge for crowd simulations is the design and development of a scalable system that is capable of simulating the individual behavior of millions of complex agents ...