1999 search results - page 225 / 400 » Dependently Typed Grammars |
161
click to vote
ICLP
1997
Springer
15 years 10 months ago
1997
Springer
Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the prog...
127
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- As the distance between terminals in modern wireless networks tends to decrease, the energy consumption issue, conventionally assumed to be exclusively dominated by the ...
176
click to vote
ATS
2004
IEEE
15 years 10 months ago
2004
IEEE
TIS (Test Instruction Set) is an instruction level technique for CPU core self-testing. This method is based on enhancing a CPU instruction set with test instructions. TIS replace...
161
click to vote
ARC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Virtual channel reservation is a simple approach for providing guaranteed throughput services in a virtual channel network-on-chip. However, its performance is limited by...
199
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
Though in most data warehousing applications no relevance is given to the time when events are recorded, some domains call for a different behavior. In particular, whenever late re...