1742 search results - page 14 / 349 » An Applicative Module Calculus |
FPGA
1997
ACM
14 years 2 months ago
1997
ACM
Logic emulation is a technique that uses dynamically reprogrammable systems for prototyping and design veri cation. Using an emulator, designers can realize designs through a soft...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module...
AI
2010
Springer
13 years 10 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— In this paper, we investigate the application of nonbinary low density parity check (LDPC) codes over Galois field GF(q) for both single-input single-output (SISO) and...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract-- We consider a wireless system with a small number of delay constrained users and a larger number of users without delay constraints. We develop a scheduling algorithm th...