187
click to vote
PLPV
2012
ACM
14 years 8 days 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 ...
170
click to vote
PEPM
2012
ACM
14 years 8 days ago
2012
ACM
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
142
Voted
PEPM
2012
ACM
14 years 8 days ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
160
click to vote
PC
2012
14 years 8 days ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
189
click to vote
PC
2012
14 years 8 days ago
2012
— The frenetic development of the current architectures places a strain on the current state-of-the-art programming environments. Harnessing the full potential of such architectu...
143
click to vote
PAM
2012
Springer
14 years 8 days ago
2012
Springer
Smartphones connected to cellular networks are increasingly being used to access Internet-based services. Using data collected from smartphones running a popular location-based app...
179
click to vote
PAM
2012
Springer
14 years 8 days 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...
128
click to vote
PAM
2012
Springer
14 years 8 days ago
2012
Springer
Due to the lack of a standardized methodology for reporting firewall performance, current datasheets are designed for marketing and provide inflated throughput measurements obtai...