4934 search results - page 212 / 987 » complexity 2008 |
130
click to vote
CGF
2008
15 years 5 months ago
2008
In this paper, we present an adaptive model for dynamically deforming hyper-elastic rods. In contrast to existing approaches, adaptively introduced control points are not governed...
151
Voted
DEBU
2008
15 years 5 months ago
2008
Query optimization is an inherently complex problem, and validating the correctness and effectiveness of a query optimizer can be a task of comparable complexity. The overall proc...
158
click to vote
EJIS
2008
15 years 5 months ago
2008
Despite the increasing popularity of mobile information systems, the actual processes leading to the innovation of mobile technologies remain largely unexplored. This study uses A...
140
Voted
ENTCS
2008
15 years 5 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
158
click to vote
CAL
2006
15 years 5 months ago
2006
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...