526 search results - page 90 / 106 » Programming in JoCaml (Tool Demonstration) |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
LCTRTS
2004
Springer
15 years 3 months ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
82
Voted
ACMSE
2005
ACM
14 years 11 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
199
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Inefficient use of memory, including leaks and bloat, remain a significant challenge for C and C++ developers. Applications with these problems become slower over time as their wo...