Sciweavers

8197 search results - page 124 / 1640
» Adaptive functional programming
Sort
View
92
Voted
ANOR
2011
110views more  ANOR 2011»
14 years 9 months ago
Adaptive memory programming for matrix bandwidth minimization
Vicente Campos, Estefanía Piñana, Ra...
221
Voted
POPL
2006
ACM
16 years 3 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
120
Voted
IPSN
2010
Springer
15 years 9 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