Sciweavers

8197 search results - page 124 / 1640
» Adaptive functional programming
Sort
View
ANOR
2011
110views more  ANOR 2011»
14 years 11 months ago
Adaptive memory programming for matrix bandwidth minimization
Vicente Campos, Estefanía Piñana, Ra...
247
Voted
POPL
2006
ACM
16 years 4 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna
135
Voted
IPSN
2010
Springer
15 years 11 months ago
Distributed genetic evolution in WSN
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aï¬...
Philip Valencia, Peter Lindsay, Raja Jurdak