4263 search results - page 577 / 853 » Learning without Coding |
167
click to vote
WOWMOM
2005
ACM
15 years 12 months ago
2005
ACM
The IEEE 802.16 standard (commonly known as WiMAX) which has emerged as a broadband wireless access technology, is capable of delivering very high data rates. However, providing p...
142
Voted
APPROX
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We give a generic construction of an optimal hitting set generator (HSG) from any good “reconstructive” disperser. Past constructions of optimal HSGs have been based ...
155
click to vote
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
166
click to vote
CC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
156
click to vote
FPL
2005
Springer
15 years 12 months ago
2005
Springer
Dynamically reconfigurable logic is becoming an important design unit in SoC system. A method to make the reconfiguration management transparent to software applications is requir...