1353 search results - page 212 / 271 » Streamlined Constraint Reasoning |
ISQED
2008
IEEE
15 years 4 months ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
SSDBM
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Rapid-deployment mobile ad-hoc networks (MANETs) are frequently characterized by common overarching mission objectives which make it reasonable to expect some degree of coopera...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Policy based networks provide high levels of flexibility by allowing definition of packet handling rules within a network, resource allocation strategies, network man...