303 search results - page 41 / 61 » Moore and more and symmetry |
111
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
87
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
119
click to vote
CASES
2011
ACM
14 years 12 days ago
2011
ACM
Escalating variations in modern CMOS designs have become a threat to Moore’s law. While previous works have proposed techniques for tolerating variations by trading reliability ...
143
click to vote
SBP
2012
Springer
13 years 8 months ago
2012
Springer
International forces in Afghanistan have experienced difficulties in developing constructive engagements with the Afghan population, an experience familiar to a wide range of inter...
135
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...