2976 search results - page 394 / 596 » On the bounded integer programming |
120
Voted
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
114
Voted
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—All-Optical Label Swapping (AOLS) forms a key technology towards the implementation of All-Optical Packet Switching nodes (AOPS) for the future optical Internet. The capital exp...
129
Voted
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
Real-time systems typically have to satisfy complex requirements, mapped to the task attributes, eventually guaranteed by the underlying scheduler. These systems consist of a mix ...
132
Voted
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a methodology for generating optimized architectures for data bandwidth constrained extensible processors. We describe a scalable Integer Linear Programming (ILP) formu...
95
Voted
GLOBECOM
2007
IEEE
15 years 9 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...