26151 search results - page 49 / 5231 » Parameterized system design |
TCS
2010
13 years 8 months ago
2010
Iterative Compression has recently led to a number of breakthroughs in parameterized complexity. Here, we show that the technique can also be useful in the design of exact exponen...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
ASYNC
2003
IEEE
14 years 3 months ago
2003
IEEE
Parameterized first-order models for throughput, energy, and bandwidth are presented in this paper. Models are developed for many common pipeline methodologies, including clocked...
VMV
2001
13 years 11 months ago
2001
This paper presents an enhancement to current image-based rendering methods. It suggests that motion consistency can be used in a realtime dynamic rendering system to increase com...
JUCS
2006
13 years 10 months ago
2006
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...