BIRTHDAY
2009
Springer
14 years 21 days ago
2009
Springer
We consider the problem of minimizing average flow time on multiple machines when each job can be assigned only to a specified subset of the machines. This is a special case of sc...
BIRTHDAY
2009
Springer
14 years 21 days ago
2009
Springer
BIRTHDAY
2009
Springer
14 years 21 days ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
ATC
2007
Springer
14 years 22 days ago
2007
Springer
Service-based Systems (SBS) have the advantage of composing distributed systems from various services provided by multiple providers transparently. In addition to functional correc...
ATC
2009
Springer
14 years 22 days ago
2009
Springer
Remote attestation is one of the key functionalities provided by trusted platforms. Most current attestation approaches are based on cryptographic hash functions, which are appropr...
ARITH
2007
IEEE
14 years 22 days ago
2007
IEEE
In this paper we explore the relationship between adder topology and energy efficiency. We compare the energy-delay tradeoff curves of selected 32-bit adder topologies, to determi...
APSCC
2007
IEEE
14 years 22 days ago
2007
IEEE
ARITH
2009
IEEE
14 years 22 days ago
2009
IEEE
ARITH
2009
IEEE
14 years 22 days ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
AIHC
2007
Springer
14 years 22 days ago
2007
Springer
Many people believe that emotions and subjective feelings are one and the same and that a goal of human-centered computing is emotion recognition. The first belief is outdated; the...