1626 search results - page 137 / 326 » Subtyping with Power Types |
103
click to vote
ET
2007
15 years 4 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
162
click to vote
JSAC
2011
14 years 11 months ago
2011
Wireless vehicular ad hoc networks are characterized by multi-hop transmission, where a key problem is the design of routing, e.g., how to efficiently direct the information flo...
158
click to vote
SERVICES
2010
14 years 11 months ago
2010
Abstract--Mobile devices such as smart phones are increasing permeating society. With strides in computational power, coupled with the ability to connect to other small devices, sm...
153
click to vote
GPCE
2004
Springer
15 years 9 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...
206
click to vote
TLDI
2010
ACM
16 years 1 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...