5863 search results - page 681 / 1173 » Calculating Functional Programs |
268
Voted
ICFP
2012
ACM
13 years 10 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
197
click to vote
ICCD
2007
IEEE
16 years 4 months ago
2007
IEEE
This paper proposes an efficient analysis flow and an algorithm to identify the worst case noise for power networks with multiple clock domains. First, we apply the Laplace transf...
228
Voted
RTAS
2009
IEEE
16 years 2 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
197
Voted
ICC
2007
IEEE
16 years 2 months ago
2007
IEEE
— Energy consumption is a main issue of concern in wireless networks. Energy minimization increases the time that networks’ nodes work properly without recharging or substituti...
200
Voted
VTC
2006
IEEE
16 years 1 months ago
2006
IEEE
A scheduling scheme for MIMO systems which has the capability of obtaining multiuser diversity gain and controlling the link connection ratio among users simultaneously is proposed...