Sciweavers

451 search results - page 44 / 91
» On Parameterized Exponential Time Complexity
Sort
View
DATE
2007
IEEE
144views Hardware» more  DATE 2007»
14 years 4 months ago
Adaptive power management in energy harvesting systems
Recently, there has been a substantial interest in the design of systems that receive their energy from regenerative sources such as solar cells. In contrast to approaches that at...
Clemens Moser, Lothar Thiele, Davide Brunelli, Luc...
MPC
2004
Springer
165views Mathematics» more  MPC 2004»
14 years 3 months ago
Prototyping Generic Programming in Template Haskell
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
Ulf Norell, Patrik Jansson
SAT
2004
Springer
101views Hardware» more  SAT 2004»
14 years 3 months ago
Detecting Backdoor Sets with Respect to Horn and Binary Clauses
We study the parameterized complexity of detecting backdoor sets for instances of the propositional satisfiability problem (SAT) with respect to the polynomially solvable classes ...
Naomi Nishimura, Prabhakar Ragde, Stefan Szeider
ERSHOV
2003
Springer
14 years 3 months ago
The Translation Power of the Futamura Projections
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...
Robert Glück
AICCSA
2001
IEEE
131views Hardware» more  AICCSA 2001»
14 years 1 months ago
Modeling Resources in a UML-Based Simulative Environment
The importance of early performance assessment grows as software systems increase in terms of size, logical distribution and interaction complexity. Lack of time from the side of ...
Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim