717 search results - page 48 / 144 » Efficient implementation of SVM for large class problems |
RTSS
1998
IEEE
15 years 4 months ago
1998
IEEE
We consider the problem of implementing shared objects in uniprocessor and multiprocessor real-time systems in which tasks are executed using a scheduling quantum. In most quantum...
CLADE
2004
IEEE
15 years 3 months ago
2004
IEEE
All but the most briefly used systems must evolve as their mission and roles change over time. Evolution in the context of large distributed systems is extraordinarily complex bec...
123
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
105
click to vote
SOSP
1997
ACM
15 years 1 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
HEURISTICS
2008
14 years 12 months ago
2008
In this talk we present a unified Variable Neighborhood Search (VNS) algorithm for the Capacitated Arc Routing Problem (CARP) and some of its variants - the Capacitated Arc Routin...