2149 search results - page 44 / 430 » Form over Substance |
139
click to vote
PLPV
2012
ACM
13 years 7 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper addresses the problem of equivalence verification of RTL descriptions. The focus is on datapathoriented designs that implement polynomial computations over fixed-s...
133
click to vote
PAM
2012
Springer
13 years 7 months ago
2012
Springer
This paper studies the AS-level re-wiring dynamics (changes in the connectivity) of malicious networks. Anecdotal evidence suggests that some malicious ASes that are primarily invo...
TVCG
2012
13 years 2 months ago
2012
—Field design has wide applications in graphics and visualization. One of the main challenges in field design has been how to provide users with both intuitive control over the d...