1030 search results - page 76 / 206 » Happenings |
152
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
We investigate appropriate regimes for transmission line propagation of signals on digital integrated circuits. We start from exact solutions to the transmission line equations pr...
169
click to vote
TLDI
2010
ACM
16 years 3 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
169
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
137
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
Ambient Sites are proximal. At our fingertips, under the soles of our feet, along the edge of a cheek, they are characterized by the permeability of boundaries, the sudden awarene...
176
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Visualisations of dynamic data change in appearance over time, reflecting changes in the underlying data, be that the development of a social network, or the addition or removal o...