2000 search results - page 115 / 400 » Program Transformation and Proof Transformation |
154
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This work focuses on the convergence analysis of adaptive distributed beamforming schemes that can be reformulated as local random search algorithms via a random search framework....
166
click to vote
IMA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Identity-based encryption (IBE) is a special asymmetric encryption method where a public encryption key can be an arbitrary identifier and the corresponding private decr...
140
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
149
click to vote
APLAS
2009
ACM
16 years 23 days ago
2009
ACM
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
161
click to vote
IPPS
2007
IEEE
16 years 17 days ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...