144 search results - page 19 / 29 » How Expressions Can Code for Automata |
77
Voted
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
117
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
103
click to vote
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Distributed and peer-to-peer storage systems are foreseen as an alternative to the traditional data centers and in-house backup solutions. In the past few years many peerto-peer st...
133
click to vote
CORR
2012
Springer
13 years 8 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
116
Voted
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...