837 search results - page 63 / 168 » Hard combinators |
SCAM
2008
IEEE
15 years 6 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
ASWEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
107
click to vote
CCGRID
2007
IEEE
15 years 6 months ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...
109
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— We consider the problem of joint end-to-end rate optimization and radio resource management in wireless OFDMA-based mesh networks. Radio units equipped with multiple radio inte...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—Next generation internet protocol, IPv6, has attracted growing attention and has been deploying worldwide. With 128-bit address, IPv6 provides an extremely large address space a...