BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
Digital halftoning, or dithering, is the technique commonly used to render a color or grayscale image on a printer, a computer monitor or other bi-level displays. A particular hal...
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
BIRTHDAY
2003
Springer
14 years 5 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...