4940 search results - page 819 / 988 » On the Complexity of Universal Programs |
201
click to vote
VL
2005
IEEE
15 years 12 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
169
click to vote
WIOPT
2005
IEEE
15 years 12 months ago
2005
IEEE
In our prior work, we presented a highly effective local search based heuristic algorithm called the Largest Expanding Sweep Search (LESS) to solve the minimum energy broadcast (M...
166
click to vote
WORDS
2005
IEEE
15 years 12 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
138
click to vote
MSWIM
2005
ACM
15 years 12 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
192
click to vote
SI3D
2005
ACM
15 years 12 months ago
2005
ACM
We present a sampling strategy and rendering framework for intersectable models, whose surface is implicitly defined by a black box intersection test that provides the location a...