716 search results - page 70 / 144 » Semilinear Program Feasibility |
ICMT
2009
Springer
15 years 4 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
ISCAS
2008
IEEE
15 years 4 months ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
SCAM
2007
IEEE
15 years 4 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
ECML
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...
EVOW
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The strategic supply chain design problem which allows capacity shifts and budget limitations can be formulated as a linear program. Since facilities are allowed to be op...