Sciweavers

7519 search results - page 349 / 1504
» Optimizing Generic Functions
Sort
View
327
Voted

Book
301views
17 years 4 months ago
Programming in Standard ML
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
Robert Harper
ICFP
2006
ACM
16 years 6 months ago
Design patterns as higher-order datatype-generic programs
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
Jeremy Gibbons
INFOCOM
2008
IEEE
16 years 1 months ago
Essentia: Architecting Wireless Sensor Networks Asymmetrically
Abstract—In this paper, we advocate asymmetric function placement as one of guiding principles to architect sensor network systems. We demonstrate its generic applicability and e...
Tian He, John A. Stankovic, Radu Stoleru, Yu Gu, Y...
ACISP
2007
Springer
16 years 26 days ago
Hash-and-Sign with Weak Hashing Made Secure
Abstract. Digital signatures are often proven to be secure in the random oracle model while hash functions deviate more and more from this idealization. Liskov proposed to model a ...
Sylvain Pasini, Serge Vaudenay
ATAL
2005
Springer
16 years 6 days ago
T-Man: Gossip-Based Overlay Topology Management
Overlay topology plays an important role in P2P systems. Topology serves as a basis for achieving functions such as routing, searching and information dissemination, and it has a m...
Márk Jelasity, Özalp Babaoglu