4498 search results - page 238 / 900 » How to Invent Functions |
105
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Many scheduling algorithms search the space of possible solutions (schedules), but some instead search the space of permutations of the set of jobs, employing a greedy algorith...
110
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
− During almost fifty years the Fade Duration Distribution (FDD) of random signals has been an open research topic. However, for Nakagami fading channels, and in general for the ...
103
click to vote
ICCCN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Considerable research efforts in the networking community are focused on defining a new Internet architecture that not only solves some of the problems of the current design, ...
142
Voted
ICDCSW
2007
IEEE
15 years 11 months ago
2007
IEEE
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
122
click to vote
ISVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...