11739 search results - page 2092 / 2348 » Slideshow: functional presentations |
173
click to vote
APLAS
2006
ACM
16 years 15 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
181
click to vote
CSCW
2006
ACM
16 years 15 days ago
2006
ACM
This paper presents a grounded theory of information sharing behavior of the users of a personal learning space. A personal learning space is an environment consisted of weblog, e...
184
click to vote
IWRIDL
2006
ACM
16 years 14 days ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
195
click to vote
CODES
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we present the analysis, design and implementation of an estimator to realize large bit width unsigned integer multiplier units. Larger multiplier units are require...
177
click to vote
DATE
2005
IEEE
16 years 4 days ago
2005
IEEE
Technology Roadmap for Semiconductors (ITRS) clearly identifies the integration of electrochemical and electrobiological techniques as one of the system-level design challenges tha...