1631 search results - page 256 / 327 » Observing Functional Logic Computations |
128
Voted
EWSN
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Radio Link Quality Estimation (LQE) is a fundamental building block for Wireless Sensor Networks, namely for a reliable deployment, resource management and routing. Exist...
138
Voted
ICCD
2004
IEEE
16 years 17 days ago
2004
IEEE
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
111
Voted
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
— There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It ha...
130
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
127
Voted
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The switch architecture with the combined inputcrosspoint queueing (CICQ) scheme has been recognized as a practical promising solution for building cost-effective highp...