Sciweavers

388 search results - page 41 / 78
» Bipartite Modular Multiplication
Sort
View
IASTEDSEA
2004
15 years 7 months ago
Instance orientation: A programming methodology
Instance orientation is an approach for designing and programming software systems. It addresses a limitation of current software architectures: it allows multiple higherlevel vie...
Thomas Schöbel-Theuer
CORR
1999
Springer
75views Education» more  CORR 1999»
15 years 6 months ago
A System of Interaction and Structure
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
Alessio Guglielmi
ITBAM
2010
15 years 4 months ago
MEDCollector: Multisource Epidemic Data Collector
This paper analyzes the requirements and presents a novel approach to the development of a system for epidemiological data collection and integration based on the principles of int...
João Zamite, Fabrício A. B. Silva, F...
ICASSP
2011
IEEE
14 years 10 months ago
Parallel computation of adaptive lattice filters
Parallel computation of the adaptive lattice filtering algorithm is difficult due to the dependency problem caused by feedback operations. The conventional control-level paralle...
Dong-hwan Lee, Wonyong Sung
ESOP
2011
Springer
14 years 10 months ago
Barriers in Concurrent Separation Logic
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
Aquinas Hobor, Cristian Gherghina