1953 search results - page 198 / 391 » codes 2010 |
152
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Interface adaptation allows code written for one interface to be used with a software component with another interface. When multiple adapters are chained together to make certain...
192
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. We present the type rules for a dependently typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary t...
139
click to vote
IWPC
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a tool that identifies complex data-flow dependencies on code-level, based on the measure dep-degree. Low-level dependencies between program operations are modeled by...
176
click to vote
JSC
2010
15 years 4 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
157
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
— Much work has been done aiming at minimization of energy consumption for transmission of information in energy constrained wireless networks. However, most of them assume uncod...