6894 search results - page 1192 / 1379 » Generation Problems |
158
click to vote
FASE
2007
Springer
16 years 19 days ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
213
click to vote
CASES
2004
ACM
15 years 12 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
185
click to vote
SIAMDM
2010
15 years 4 months ago
2010
In this paper we study the problem of finding maximally sized subsets of binary strings (codes) of equal length that are immune to a given number r of repetitions, in the sense th...
183
click to vote
RTAS
2008
IEEE
16 years 25 days ago
2008
IEEE
Dynamic Power Management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications ...
170
click to vote
PG
2007
IEEE
16 years 22 days ago
2007
IEEE
We consider the problem of generating a map between two triangulated meshes, M and M’, with arbitrary and possibly differing genus. This problem has rarely been tackled in its g...