920 search results - page 170 / 184 » Generating Satisfiable Problem Instances |
ICECCS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
CCR
2005
13 years 7 months ago
2005
A recent paper [8] presented methods for several steps along the road to synthesis of realistic traffic matrices. Such synthesis is needed because traffic matrices are a crucial i...
JDCTA
2010
13 years 2 months ago
2010
Complications with garment sizing and poor fit inconvenience many consumers who become dissatisfied with such provision on the high street. It is evident that human measurement an...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. It ha...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
This paper describes a novel classification method for computer aided detection (CAD) that identifies structures of interest from medical images. CAD problems are challenging larg...