1984 search results - page 189 / 397 » The colourful feasibility problem |
162
click to vote
KBSE
2006
IEEE
16 years 16 days ago
2006
IEEE
The testing of database applications poses new challenges for software engineers. In particular, it is difficult to thoroughly test the interactions between an application and it...
206
click to vote
RTAS
2006
IEEE
16 years 16 days ago
2006
IEEE
Operating systems for reconfigurable devices enable the development of embedded systems where software tasks, running on a CPU, can coexist with hardware tasks running on a recon...
142
click to vote
CEC
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...
169
click to vote
DSD
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
185
click to vote
ECRTS
2005
IEEE
16 years 4 days ago
2005
IEEE
Slowdown based on dynamic voltage scaling (DVS) provides the ability to perform an energy-delay tradeoff in the system. Non-preemptive scheduling becomes an integral part of syste...