Sciweavers

814 search results - page 101 / 163
» Analysis of Modular Arithmetic
Sort
View
EUROGP
2009
Springer
105views Optimization» more  EUROGP 2009»
15 years 2 months ago
Quantum Circuit Synthesis with Adaptive Parameters Control
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
Cristian Ruican, Mihai Udrescu, Lucian Prodan, Mir...
PVLDB
2010
105views more  PVLDB 2010»
14 years 8 months ago
Destabilizers and Independence of XML Updates
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...
Michael Benedikt, James Cheney
POPL
2008
ACM
15 years 10 months ago
Generating precise and concise procedure summaries
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...
Greta Yorsh, Eran Yahav, Satish Chandra
SIGSOFT
2006
ACM
15 years 10 months ago
Exceptions and aspects: the devil is in the details
It is usually assumed that the implementation of exception handling can be better modularized by the use of aspectoriented programming (AOP). However, the trade-offs involved in u...
Alessandro Garcia, Cecília M. F. Rubira, Ed...
SIGSOFT
2005
ACM
15 years 10 months ago
Information hiding interfaces for aspect-oriented design
The growing popularity of aspect-oriented languages, such as AspectJ, and of corresponding design approaches, makes it important to learn how best to modularize programs in which ...
Kevin J. Sullivan, William G. Griswold, Yuanyuan S...