10666 search results - page 1625 / 2134 » Quantum programming languages |
199
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
272
click to vote
IGARSS
2010
15 years 1 months ago
2010
We describe the SAR Scintillation Simulator (SAR-SS), a new phase screen model for simulating the impact of smallscale ionospheric structure on SAR image formation and interferome...
177
click to vote
LRE
2010
15 years 1 months ago
2010
We propose a method for automatically identifying individual instances of English verb-particle constructions (VPCs) in raw text. Our method employs the RASP parser and analysis of...
300
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
185
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...