Sciweavers

9186 search results - page 97 / 1838
» A Module System for Scheme
Sort
View
POPL
1997
ACM
14 years 1 months ago
Program Fragments, Linking, and Modularization
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...
Luca Cardelli
TREC
2008
13 years 10 months ago
IIT Kharagpur at TREC 2008 Blog Track
This paper describes our opinion retrieval system for TREC 2008 blog track. We focused on five different aspects of the system. The first module is focussed on extracting the blog...
Robin Anil, Sudeshna Sarkar
DATE
2006
IEEE
142views Hardware» more  DATE 2006»
14 years 3 months ago
Mixed-signal design of a digital input power amplifier for automotive audio applications
With reference to digital input power amplifier for automotive audio applications, the paper presents an exhaustive exploration of the huge mixed-signal space to find optimal trad...
Sergio Saponara, Pierangelo Terreni
APLAS
2008
ACM
13 years 11 months ago
ML Modules and Haskell Type Classes: A Constructive Comparison
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...
Stefan Wehr, Manuel M. T. Chakravarty
AINA
2007
IEEE
14 years 3 months ago
Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...
Vandana Gunupudi, Stephen R. Tate