1626 search results - page 228 / 326 » Subtyping with Power Types |
170
Voted
HICSS
2003
IEEE
16 years 21 days ago
2003
IEEE
All Internet-accessible computing systems are currently faced with incessant threats ranging from simple scriptkiddies to highly sophisticated criminal enterprises. In response to...
190
Voted
ICDM
2003
IEEE
16 years 21 days ago
2003
IEEE
Clustering by document concepts is a powerful way of retrieving information from a large number of documents. This task in general does not make any assumption on the data distrib...
163
Voted
ISORC
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper presents an analysis of the future of Embedded Linux in the PostPC industry. This analysis is carried out by first examining the current forces at work in the PostPC ma...
188
Voted
SLIP
2003
ACM
16 years 20 days ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...
160
Voted
FOSSACS
2003
Springer
16 years 19 days ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...