189 search results - page 20 / 38 » Requirements on the Execution of Kahn Process Networks |
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
In this paper, we propose a system for contextaware battery management that warns the user when it detects that the phone battery can run out before the next charging opportunity ...
AINA
2008
IEEE
13 years 10 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
PDPTA
2004
13 years 10 months ago
2004
There are many underlying hardware architectures for execution of parallel applications. One of these is the Network of Workstations (NOW) which is an interesting solution for use...
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
—Clustering techniques create hierarchal network structures, called clusters, on an otherwise flat network. In a dynamic environment—in terms of node mobility as well as in ter...