4666 search results - page 183 / 934 » Equations on Timed Languages |
267
Voted
POPL
2009
ACM
16 years 6 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
139
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
159
click to vote
SIGCOMM
2005
ACM
15 years 11 months ago
2005
ACM
We study limitations of an equation-based congestion control protocol, called TFRC (TCP Friendly Rate Control). It examines how the three main factors that determine TFRC throughp...
149
click to vote
ICC
2007
IEEE
15 years 12 months ago
2007
IEEE
Abstract— The performance of a noncoherent digital delaylock loop (DDLL) with a RAKE scheme for direct-sequence spread-spectrum code division multiple access (DS/SS-CDMA) signals...
183
Voted
NHM
2010
15 years 11 days ago
2010
We consider a star-shaped network consisting of a single node with N 3 connected arcs. The dynamics on each arc is governed by the wave equation. The arcs are coupled at the node ...