2976 search results - page 394 / 596 » On the bounded integer programming |
132
click to vote
ICTAI
2008
IEEE
15 years 10 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...
126
click to vote
INFOCOM
2008
IEEE
15 years 10 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...
146
click to vote
RTCSA
2008
IEEE
15 years 10 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 ...
146
click to vote
DATE
2007
IEEE
15 years 10 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...
115
click to vote
GLOBECOM
2007
IEEE
15 years 10 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...