1626 search results - page 295 / 326 » Subtyping with Power Types |
178
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
In recent years, due to rapid advances in VLSI manufacturing technology capable of packing more and more devices and wires on a chip, crosstalk has emerged as a serious problem af...
147
click to vote
AUSAI
2003
Springer
15 years 11 months ago
2003
Springer
An important task in machine learning is determining which learning algorithm works best for a given data set. When the amount of data is small the same data needs to be used repea...
181
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The purpose of this article is to propose a scalable, topologically and traffic-wise self-adapting approach to a publish/subscribe paradigm for supporting event-based app...
142
click to vote
FPGA
2003
ACM
15 years 11 months ago
2003
ACM
As integrated circuits become more and more complex, the ability to make post-fabrication changes will become more and more attractive. This ability can be realized using programm...
166
click to vote
HYBRID
2010
Springer
15 years 11 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...