8337 search results - page 26 / 1668 » Reasoning With Characteristic Models |
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a novel way for reasoning about (possibly ir)rational quantifier-free non-linear arithmetic by a reduction to SAT/SMT. The approach is incomplete and dedicated...
ACSD
2006
IEEE
13 years 10 months ago
2006
IEEE
Networks on chip platforms offer the opportunity to introduce a new abstraction level that defines a set of platform services with performance and power characteristics. By making...
WISE
2003
Springer
14 years 1 months ago
2003
Springer
Service-Oriented Computing (SOC) is the computing paradigm that utilizes services as fundamental elements for developing applications/solutions. To build the service model, SOC re...
PE
2002
Springer
13 years 8 months ago
2002
Springer
Priority scheduling for packets is becoming a hot topic, as attemps are being made to integrate voice services in existing data networks. In this paper, we consider a discrete-tim...
JCIT
2010
13 years 3 months ago
2010
The complicated interactions among tasks lead to iterations in product design and development. To maintain the market share, enterprises should effectively manage their product de...