|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1221 occurrences of 843 keywords
|
|
|
Results
Found 4289 publication records. Showing 4289 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
81 | Isao Yamada, Masahiro Yukawa, Masao Yamagishi |
Minimizing the Moreau Envelope of Nonsmooth Convex Functions over the Fixed Point Set of Certain Quasi-Nonexpansive Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 345-390, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
81 | Andrzej Cegielski, Yair Censor |
Opial-Type Theorems and the Common Fixed Point Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 155-183, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
79 | Xi Chen 0001, Xiaotie Deng |
Matching algorithmic bounds for finding a Brouwer fixed point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 55(3), pp. 13:1-13:26, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Approximate fixed point, Sperner's lemma, fixed point theorem, Lipschitz function |
70 | Jérôme Boulanger, Peter Elbau, Carsten Pontow, Otmar Scherzer |
Non-Local Functionals for Imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 131-154, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Simeon Reich, Shoham Sabach |
Existence and Approximation of Fixed Points of Bregman Firmly Nonexpansive Mappings in Reflexive Banach Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 301-316, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Warren L. Hare |
Identifying Active Manifolds in Regularization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 261-271, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Jonathan M. Borwein, Brailey Sims |
The Douglas-Rachford Algorithm in the Absence of Convexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 93-109, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Frank Deutsch, Hein Hundal |
Arbitrarily Slow Convergence of Sequences of Linear Operators: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 213-242, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Heinz H. Bauschke, Mason S. Macklem, Xianfu Wang |
Chebyshev Sets, Klee Sets, and Chebyshev Centers with Respect to Bregman Distances: Recent Results and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 1-21, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Patrick L. Combettes, Jean-Christophe Pesquet |
Proximal Splitting Methods in Signal Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 185-212, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Genaro López, Victoria Martín-Márquez |
Approximation Methods for Nonexpansive Type Mappings in Hadamard Manifolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 273-299, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Adi Ben-Israel, Yuri Levin |
The Newton Bracketing Method for Convex Minimization: Convergence Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 49-64, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Amir Beck, Marc Teboulle |
A Linearly Convergent Algorithm for Solving a Class of Nonconvex/Affine Feasibility Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 33-48, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Bryan Gardiner, Yves Lucet |
Graph-Matrix Calculus for Computational Convex Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 243-259, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Liangjin Yao |
The Brézis-Browder Theorem Revisited and Properties of Fitzpatrick Functions of Order n. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 391-402, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Heinz H. Bauschke, Sarah M. Moffat, Xianfu Wang |
Self-Dual Smooth Approximations of Convex Functions via the Proximal Average. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 23-32, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Jonathan M. Borwein, D. Russell Luke |
Entropic Regularization of the ℓ 0 Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 65-92, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Radu Ioan Bot, Ernö Robert Csetnek |
A Comparison of Some Recent Regularity Conditions for Fenchel Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 111-130, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
70 | Julian P. Revalski |
Regularization Procedures for Monotone Operators: Recent Advances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fixed-Point Algorithms for Inverse Problems in Science and Engineering ![In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering, pp. 317-344, 2011, Springer, 978-1-4419-9568-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
68 | Hyesook Lim, Changhoon Yim, Earl E. Swartzlander Jr. |
Finite Word-Length Effects Of An Unified Systolic Array For 2-D DCT/IDCT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1996 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '96), August 19-23, 1996, Chicago, IL , USA, pp. 35-, 1996, IEEE Computer Society, 0-8186-7542-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
finite word-length effects, unified systolic array, fixed-point error analysis, inverse discrete cosine transform, fixed-point rounding-errors, minimum word-length, fixed-point error, discrete cosine transforms, discrete cosine transform, systolic arrays, digital simulation, error analysis, simulation results, roundoff errors, closed form expressions, truncation-errors |
66 | Daniel Ménard, Daniel Chillet, François Charot, Olivier Sentieys |
Automatic floating-point to fixed-point conversion for DSP code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2002, Greenoble, France, October 8-11, 2002, pp. 270-276, 2002, ACM, 1-58113-575-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
digital signal processing systems, floating-point to fixed-point conversion, quantization noise, code generation, DSP, fixed-point |
63 | Xi Chen 0001, Xiaotie Deng |
On algorithms for discrete and approximate brouwer fixed points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pp. 323-330, 2005, ACM, 1-58113-960-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Sperner's lemma, approximate fixed point, fixed point theorem, Lipschitz function |
60 | Holger Keding, Markus Willems, Martin Coors, Heinrich Meyr |
FRIDGE: A Fixed-Point Design and Simulation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1998 Design, Automation and Test in Europe (DATE '98), February 23-26, 1998, Le Palais des Congrès de Paris, Paris, France, pp. 429-435, 1998, IEEE Computer Society, 0-8186-8359-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
FRIDGE, interpolative approach, fixed-C, assignment-time instantiation, simulation, design, interpolation, quantization, fixed-point |
60 | Tor M. Aamodt, Paul Chow |
Compile-time and instruction-set methods for improving floating- to fixed-point conversion accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(3), pp. 26:1-26:27, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fractional multiplication, Compilation, digital signal processing, scaling, fixed-point, signal-to-noise ratio |
56 | Lance Saldanha, Roman L. Lysecky |
Hardware/software partitioning of floating point software applications to fixed-pointed coprocessor circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 49-54, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
floating point to fixed conversion, floating point, fixed point, hardware/software partitioning |
54 | Behzad Akbarpour, Abdelkader Dekdouk, Sofiène Tahar |
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 185-204, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
SPW, Theorem-Proving, Signal Processing, Floating-point, Fixed-point, HOL |
53 | Shierly Wijaya, Antonio Cantoni |
A java simulation tool for fixed-point system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 29, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fixed-point algorithm, data flow graph (DFG), digital design, automation tool |
52 | Venkatesh Ramaiyan, Anurag Kumar 0001, Eitan Altman |
Fixed point analysis of single cell IEEE 802.11e WLANs: uniqueness, multistability and throughput differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS 2005, June 6-10, 2005, Banff, Alberta, Canada, pp. 109-120, 2005, ACM, 1-59593-022-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
EDCF analysis, QoS in wireless LANs, performance of wireless LANs, short term unfairness |
52 | Saurabh Srivastava 0001, Sumit Gulwani |
Program verification using templates over predicate abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 223-234, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers |
52 | T. Y. Tang, Yiu Sang Moon, K. C. Chan |
Efficient implementation of fingerprint verification for mobile embedded systems using fixed-point arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 821-825, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded systems, fingerprint, fixed-point arithmetic |
49 | Behzad Akbarpour, Sofiène Tahar, Abdelkader Dekdouk |
Formalization of Fixed-Point Arithmetic in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 27(1-2), pp. 173-200, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
theorem-proving, floating-point arithmetic, fixed-point arithmetic, HOL |
48 | Haishu Lu |
Continuous Selection Theorems and Fixed Point Theorems for Fuzzy Mappings in FC-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (6) ![In: Sixth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2009, Tianjin, China, 14-16 August 2009, 6 Volumes, pp. 157-161, 2009, IEEE Computer Society, 978-0-7695-3735-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transfer open-valued, unity partition, Tychonoff fixed point theorem, FC-spaces, fixed point, continuous selection |
48 | Venkatesh Ramaiyan, Anurag Kumar 0001, Eitan Altman |
Fixed point analysis of single cell IEEE 802.11e WLANs: uniqueness and multistability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(5), pp. 1080-1093, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
performance of wireless LANs, saturation throughput analysis of EDCA, short term unfairness |
47 | Varsha Mainkar, Kishor S. Trivedi |
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(9), pp. 640-653, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Stochastic Petri nets, sufficient conditions, fixed-point iteration, existence |
46 | Sanghamitra Roy, Prithviraj Banerjee |
An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 484-487, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
quantization, quantizer, floating point, fixed point |
46 | Changchun Shi, Robert W. Brodersen |
Automated fixed-point data-type optimization tool for signal processing and communication systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 478-483, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
optimization, FPGA, digital signal processing, ASIC, communication systems, fixed-point arithmetic |
43 | Luoyi Fu, Xinbing Wang, Qian Zhang 0001 |
Unified fixed point analysis of IEEE 802.11(e) WLAN under saturated and unsaturated conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 800-804, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fixed point analysis, renewal-reward theorem, unsaturated condition |
43 | Gregory L. McColm |
Guarded Quantification in Least Fixed Point Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(1), pp. 61-110, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
game representations of logics, game theoretic semantics, guarded quantification, least fixed point logic, positive elementary induction |
42 | Chun Te Ewe, Peter Y. K. Cheung, George A. Constantinides |
Dual Fixed-Point: An Efficient Alternative to Floating-Point Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings, pp. 200-208, 2004, Springer, 3-540-22989-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
The Expressive Power of Two-Variable Least Fixed-Point Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings, pp. 422-434, 2005, Springer, 3-540-28702-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Tomás Gedeon, Christina Hayes, Richard Swanson |
Genericity of the Fixed Point Set for the Infinite Population Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOGA ![In: Foundations of Genetic Algorithms, 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers, pp. 97-109, 2007, Springer, 978-3-540-73479-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
generic property, Genetic algorithm, fixed point, transverse, transversality |
40 | Behzad Akbarpour, Sofiène Tahar |
Modeling System C Fixed-Point Arithmetic in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 206-225, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Dominik Stoffel, Wolfgang Kunz |
Record & play: a structural fixed point iteration for sequential circuit verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 394-399, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
circuit resynthesis, circuit retiming, combinational verification techniques, instruction queue, iterative circuit array, local circuit transformation, sequential circuit verification, sequential logic equivalence checking, structural fixed point iteration, time frame equivalence, logic testing, finite state machine, logic design |
39 | Pierre America, Jan J. M. M. Rutten |
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 254-288, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
complete metric spaces, converging towers, contracting functors, Banach's fixed-point theorem, category theory, domain equations |
38 | Xi Chen 0001, Xiaotie Deng |
A Simplicial Approach for Discrete Fixed Point Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 53(2), pp. 250-262, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sperner’s lemma, Direction-preserving map, Simplicial structure, Fixed point theorem |
38 | Dafa Li |
Quantum fixed-point search algorithm with general phase shifts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 2(2), pp. 138-142, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
amplitude amplification, the fixed-point quantum search algorithm, quantum computing |
38 | Hassan Hassan 0002, Olivier Brun, Jean-Marie Garcia, David Gauchard |
Integration of streaming and elastic traffic: a fixed point approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, pp. 25, 2008, ICST/ACM, 978-963-9799-20-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
streaming traffic, quality of service, fixed point, elastic traffic |
38 | Atsushi Ohori, Isao Sasano |
Lightweight fusion by fixed point promotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 143-154, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fusion, fixed point, inlining |
38 | Mayer Goldberg |
A Variadic Extension of Curry's Fixed-Point Combinator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 18(3-4), pp. 371-388, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fixed-point combinators, applicative order, variadic functions, Scheme, lambda-calculus, fixed points |
38 | Thomas L. Magnanti, Georgia Perakis |
Solving variational inequality and fixed point problems by line searches and potential optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 101(3), pp. 435-461, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Fixed point problems, Averaging schemes, Nonexpansive maps, Strongly-f-monotone maps, Variational inequalities |
38 | Michael B. Smyth, Rueiher Tsaur |
AFPP vs FPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 11(1), pp. 95-116, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
almost fixed point property, inverse limits, Kakutani theorem, power structures, topological graphs, dendrites |
37 | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
Analyzing recursive programs using a fixed-point calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 211-222, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
recursive systems, model-checking, abstraction, logic, software verification, mu-calculus |
37 | Hai-Feng Guo |
Mode-Directed Fixed Point Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pp. 253-265, 2005, Springer, 3-540-28538-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Stephan Kreutzer |
Partial Fixed-Point Logic on Infinite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 337-351, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Kohtaro Tadaki |
Fixed Point Theorems on Partial Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 422-440, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
partial randomness, Chaitin’s ? number, algorithmic information theory, thermodynamic quantities, fixed point theorem, Algorithmic randomness |
36 | Sanghamitra Roy, Prith Banerjee |
An Algorithm for Trading Off Quantization Error with Hardware Resources for MATLAB-Based FPGA Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(7), pp. 886-896, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
field programmable gate arrays, Automation, quantization, floating-point arithmetic, fixed-point arithmetic |
35 | Xi Chen 0001, Shang-Hua Teng |
Paths Beyond Local Search: A Tight Bound for Randomized Fixed-Point Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007), October 20-23, 2007, Providence, RI, USA, Proceedings, pp. 124-134, 2007, IEEE Computer Society, 978-0-7695-3010-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Roland Carl Backhouse |
Galois Connections and Fixed Point Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ![In: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures, pp. 89-148, 2000, Springer, 3-540-43613-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Christophe Roland, R. Varadhan, C. E. Frangakis |
Squared polynomial extrapolation methods with cycling: an application to the positron emission tomography problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 44(2), pp. 159-172, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fixed-point methods, Polynomial extrapolation methods, Nonlinear systems, Linear systems, Squaring |
35 | Pratul Dublish, S. N. Maheshwari |
Expressibility of Bounded-Arity Fixed-Point Query Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 324-335, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
34 | Enrico Formenti, Benoît Masson, Theophilos Pisokas |
On Symmetric Sandpiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings, pp. 676-685, 2006, Springer, 3-540-40929-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SOC systems, sandpiles, fixed point dynamics, discrete dynamical systems |
34 | R. Baker Kearfott |
Interval Fixed Point Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1736-1739, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Automatic result verification, Global optimization, Interval computations, Fixed point iteration |
34 | Lai-Jiu Lin 0001, Wei-Shih Du |
Systems of equilibrium problems with applications to new variants of Ekeland's variational principle, fixed point theorems and parametric optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(4), pp. 663-677, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
?-function, Quasi-distance, Ekeland’s variational principle, Flower petal theorem, Maximal element theorem, Minimax theorem, Minimization theorem, Semi-infinite problem, Generalized Schauder’s fixed point theorem, Equilibrium problem |
34 | Yves Bertot, Vladimir Komendantsky |
Fixed point semantics and partial recursion in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 89-96, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
least fixed point semantics, non-terminating functions, program extraction, the Knaster-Tarski theorem, automated theorem proving |
34 | Mingyan Liu, John S. Baras |
Fixed point approximation for multirate multihop loss networks with state-dependent routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 12(2), pp. 361-374, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
fixed point approximation, least loaded routing, state-dependent routing, performance modeling, blocking probability, multihop, multirate, loss network |
34 | Michael Z. Spivey, Warren B. Powell |
Some Fixed-Point Results for the Dynamic Assignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 124(1-4), pp. 15-33, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic assignment problem, fixed point |
34 | Antoni W. Mazurkiewicz |
Semantics of concurrent systems: a modular fixed-point trace approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 353-375, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition |
33 | Izumi Takeuti |
Effective Fixed Point Theorem over a Non-computably Separable Metric Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers, pp. 310-322, 2000, Springer, 3-540-42197-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Martin Grohe |
Bounded-Arity Hierarchies in Fixed-Point Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers, pp. 150-164, 1993, Springer, 3-540-58277-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Martin Grohe |
Definable Tree Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 406-417, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fixed point logic, descriptive complexity, tree decomposition |
32 | Bo Hu 0006, Malgorzata Marek-Sadowska |
Multilevel fixed-point-addition-based VLSI placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(8), pp. 1188-1203, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Anuj Dawar, Erich Grädel, Stephan Kreutzer |
Inflationary fixed points in modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 282-315, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Fixed-point logics, complexity, modal logic, decidability, expressive power |
32 | Zoltán Ésik, Hans Leiß |
Greibach Normal Form in Algebraically Complete Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 135-150, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory |
32 | Monk-Ping Leong, M. Y. Yeung, C. K. Yeung, Chi-Wing Fu, Pheng-Ann Heng, Philip Heng Wai Leong |
Automatic Floating to Fixed Point Translation and its Application to Post-Rendering 3D Warping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 21-23 April 1999, Napa, CA, USA, pp. 240-248, 1999, IEEE Computer Society, 0-7695-0375-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Erich Grädel, Igor Walukiewicz |
Guarded Fixed Point Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 45-54, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Henrik Reif Andersen, Bart Vergauwen |
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 142-154, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Open answer set programming with guarded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(4), pp. 26:1-26:53, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fixed-point logic, open domains, Answer set programming |
31 | Sridhar Rajagopal, Srikrishna Bhashyam, Joseph R. Cavallaro, Behnaam Aazhang |
Efficient VLSI Architectures for Multiuser Channel Estimation in Wireless Base-Station Receivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 31(2), pp. 143-156, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiuser channel estimation, VLSI, DSP, fixed-point, dependence graphs, W-CDMA, real-time implementation |
30 | Andrew Polonsky |
Fixed point combinators as fixed points of higher-order fixed point generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 16(3), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
30 | Lance Saldanha, Roman L. Lysecky |
Float-to-fixed and fixed-to-float hardware converters for rapid hardware/software partitioning of floating point software applications to static and dynamic fixed point coprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 13(3), pp. 139-157, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Jinyan Li 0001, Haiquan Li |
Using Fixed Point Theorems to Model the Binding in Protein-Protein Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 17(8), pp. 1079-1087, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Markus Willems, Volker Bürsgens, Holger Keding, Thorsten Grötker, Heinrich Meyr |
System Level Fixed-Point Design Based on an Interpolative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997., pp. 293-298, 1997, ACM Press, 0-89791-920-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Colin D. Walter |
Fast Fourier Transforms Using the Complex Logarithmic Number System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 33(3), pp. 325-335, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fast Fourier Transform (FFT), addition, logarithmic number system (LNS), fixed-point arithmetic, complex numbers, polar coordinates |
30 | Md. Rezwanul Ahsan, Muhammad Ibn Ibrahimy, Othman Omran Khalifa |
VHDL Modelling of Fixed-point DWT for the Purpose of EMG Signal Denoising. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICSyN ![In: Third International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2011, Bali, Indonesia, 26-28 July, 2011, pp. 236-241, 2011, IEEE Computer Society, 978-1-4577-0975-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Daubechies, VHDL, DWT, Fixed-point, Electromyography |
30 | Martin Grohe |
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 179-188, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
graph minor theory, fixed-point logic, graph canonisation, descriptive complexity |
30 | George Isac |
Equivalence Between Nonlinear Complementarity Problem and Fixed Point Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 927-931, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fixed point problem, Nonlinear complementarity problem |
30 | Gabriel Caffarena, Juan A. López, Gerardo Leyva, Carlos Carreras, Octavio Nieto-Taladriz |
Optimized Architectural Synthesis of Fixed-Point Datapaths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: ReConFig'08: 2008 International Conference on Reconfigurable Computing and FPGAs, 3-5 December 2008, Cancun, Mexico, Proceedings, pp. 85-90, 2008, IEEE Computer Society, 978-0-7695-3474-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Embedded Multipliers, Fixed-Point, Architectural Synthesis |
30 | Nilanjan Banerjee, Jung Hwan Choi, Kaushik Roy 0001 |
A process variation aware low power synthesis methodology for fixed-point FIR filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2007 International Symposium on Low Power Electronics and Design, 2007, Portland, OR, USA, August 27-29, 2007, pp. 147-152, 2007, ACM, 978-1-59593-709-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fixed-point FIR filters, variation aware, low-power, synthesis |
30 | Stephen A. Edwards |
Using program specialization to speed SystemC fixed-point simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006, pp. 21-28, 2006, ACM, 1-59593-196-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fixed-point simulation, prespec, tempo, Simulation, SystemC, program specialization |
30 | Aditya Kanade, Uday P. Khedker, Amitabha Sanyal |
Heterogeneous Fixed Points with Application to Points-To Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings, pp. 298-314, 2005, Springer, 3-540-29735-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Ray C. C. Cheung, Dong-U Lee, Oskar Mencer, Wayne Luk, Peter Y. K. Cheung |
Automating custom-precision function evaluation for embedded processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2005 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2005, San Francisco, California, USA, September 24-27, 2005, pp. 22-31, 2005, ACM, 1-59593-149-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
embedded systems, reconfigurable computing, fixed-point arithmetic, function evaluation |
29 | Katja Ihsberner |
Roundoff error analysis of fast DCT algorithms in fixed point arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 46(1), pp. 1-22, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 65T50, 65G50 |
29 | Joan Carletta, Robert J. Veillette, Frederick W. Krach, Zhengwei Fang |
Determining appropriate precisions for signals in fixed-point IIR filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 656-661, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
finite word length effects, infinite impulse response filter, field programmable gate array, design methodology |
28 | Linsheng Zhang, Yan Zhang 0066, Wenbiao Zhou |
Floating-point to Fixed-point Transformation Using Extreme Value Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 271-276, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Altaf Abdul Gaffar, Oskar Mencer, Wayne Luk, Peter Y. K. Cheung |
Unifying Bit-Width Optimisation for Fixed-Point and Floating-Point Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 12th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2004), 20-23 April 2004, Napa, CA, USA, Proceedings, pp. 79-88, 2004, IEEE Computer Society, 0-7695-2230-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Mike Reed |
Order, Topology, and Recursion Induction in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years Communicating Sequential Processes ![In: Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers, pp. 242-242, 2004, Springer, 3-540-25813-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Ilkka Niemelä |
On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings, pp. 226-239, 1988, Springer, 3-540-51659-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
28 | Kalyan Kuppuswamy, Daniel C. Lee 0001 |
An analytic approach to efficiently computing call blocking probabilities for multiclass WDM networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(2), pp. 658-670, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
knapsack approximation, multiclass fixed-point approximation, optical WDM networks, performance evaluation, blocking probability, loss networks |
28 | Jules Desharnais, Bernhard Möller |
Least Reflexive Points of Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 18(1-2), pp. 51-77, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
least reflexive point, greatest reflexive point, inflationary relation, lattice, relation, partial order, fixed point |
27 | Xi Chen 0001, Xiaoming Sun 0001, Shang-Hua Teng |
Quantum Separation of Local Search and Fixed Point Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings, pp. 170-179, 2008, Springer, 978-3-540-69732-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 4289 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|