2111 search results - page 159 / 423 » How to Program Pervasive Systems |
112
Voted
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...
114
click to vote
KDD
2007
ACM
16 years 1 months ago
2007
ACM
The increasing pervasiveness of the Internet has dramatically changed the way that consumers shop for goods. Consumergenerated product reviews have become a valuable source of inf...
81
Voted
ICFP
2006
ACM
16 years 23 days ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
78
Voted
ICFP
2005
ACM
16 years 23 days ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
134
Voted
IPAW
2010
14 years 10 months ago
2010
Abstract. The heterogeneous and unreliable nature of distributed systems has created a distinct need for the inclusion of provenance within their design to allow for error correcti...