1464 search results - page 253 / 293 » Behavioral optimization using the manipulation of timing con... |
127
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
We consider the problem of selecting a subset of p out of n sensors for the purpose of event detection, in a wireless sensor network (WSN). Occurrence or not of the event of intere...
137
click to vote
HPDC
2006
IEEE
15 years 7 months ago
2006
IEEE
The aIOLi project aims at optimizing the I/O accesses within the cluster by providing a simple POSIX API, thus avoiding the constraints to use a dedicated parallel I/O library. Th...
101
click to vote
DATE
2010
IEEE
15 years 3 days ago
2010
IEEE
Abstract—On-chip interconnection network is a crucial design component in high-performance System-on-Chips (SoCs). Many of previous works have focused on the automation of its to...
109
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
104
click to vote
SIGMOD
2005
ACM
16 years 1 months ago
2005
ACM
We consider the problem of joining data streams using limited cache memory, with the goal of producing as many result tuples as possible from the cache. Many cache replacement heu...