5186 search results - page 923 / 1038 » Embedded Systems |
129
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
130
click to vote
IEEEIAS
2008
IEEE
15 years 9 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
142
click to vote
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
140
Voted
FPGA
2008
ACM
15 years 4 months ago
2008
ACM
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
135
click to vote
USS
2010
15 years 1 months ago
2010
Oppressive regimes and even democratic governments restrict Internet access. Existing anti-censorship systems often require users to connect through proxies, but these systems are...