|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14350 occurrences of 6507 keywords
|
|
|
Results
Found 28088 publication records. Showing 28088 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
49 | 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 |
46 | 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 |
46 | 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 |
44 | 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 |
|
44 | 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 |
|
44 | 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 |
|
44 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger |
05301 Summary - Exact Algorithms and Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exact Algorithms and Fixed-Parameter Tractability ![In: Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
44 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger |
05301 Abstracts Collection - Exact Algorithms and Fixed-Parameter Tractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exact Algorithms and Fixed-Parameter Tractability ![In: Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
44 | Peng-Jun Wan, Allalaghatta Pavan |
TWDM Single-Hop Lightwave Networks Using Multiple Fixed Transceivers at Each Station. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 486-490, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
TWDM single-hop lightwave networks, multiple fixed transceivers, time and wavelength division multiplexing, single mode optical fiber, lightwave networks, optical passive star couplers, general hardware configuration, multiple fixed transmitters, fixed receivers, maximal concurrency, time division multiplexing |
44 | David J. Pritchard, Denis A. Nicole |
Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(1), pp. 111-117, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
deadlock-free fixed degree network, cube-connected Mobius ladders, deadlock-free routingstrategy, fixed node degree, fixed degree topology of size, transputernetworks, parallel algorithms, computational complexity, graph theory, topology, Cayley graph, multiprocessorinterconnection network, network diameter, multiprocessor interconnectionnetworks, interval routing |
44 | 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 |
40 | 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 |
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | 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 |
|
37 | Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger (eds.) |
Exact Algorithms and Fixed-Parameter Tractability, 24.-27. July 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exact Algorithms and Fixed-Parameter Tractability ![Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
36 | Yassir Nawaz, Guang Gong |
Distributing Fixed Time Slices in Heterogeneous Networks of Workstations (NOWs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings, pp. 612-621, 2007, Springer, 978-3-540-74741-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fixed work slices, fixed time slices, parallel processing, Networks of workstations |
36 | 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 |
35 | Gang Yao, Giorgio C. Buttazzo, Marko Bertogna |
Feasibility Analysis under Fixed Priority Scheduling with Fixed Preemption Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010, Macau, SAR, China, 23-25 August 2010, pp. 71-80, 2010, IEEE Computer Society, 978-1-4244-8480-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
limiting preemption, fixed preemption point, scheduling, fixed priority |
34 | Davide Sangiorgi |
On the origins of bisimulation and coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(4), pp. 15:1-15:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
greatest fixed points, Bisimulation, history, fixed points, coinduction |
33 | 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 |
33 | Michael González Harbour, Mark H. Klein, John P. Lehoczky |
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(1), pp. 13-28, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
periodic task set, fixed-priority methods, serially executed subtasks, complex priority structure, nonpreemptible sections, scheduling, schedulability, real-time systems, robots, robotics, message passing, interrupts, interrupts, timing analysis, execution time, hard real-time systems, fixed-priority scheduling, precedence constraints, periodic tasks, message-passing systems, synchronization protocols, uniprocessor |
33 | Zbigniew Lonc, Miroslaw Truszczynski |
Fixed-parameter complexity of semantics for logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(1), pp. 91-119, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Normal logic programs, fixed-parameter complexity, supported models, stable models |
33 | Georg Gottlob, Francesco Scarcello, Martha Sideri |
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings, pp. 1-18, 1999, Springer, 3-540-66749-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription |
33 | 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 |
32 | 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 |
31 | Marcus Brazil, Martin Zachariasen |
Steiner trees for fixed orientation metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 43(1), pp. 141-169, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Normed plane, Fixed orientation metric, Fixed topology, Canonical form, Steiner tree problem |
31 | Spencer D. Shellman, Kris Sikorski |
Algorithm 848: A recursive fixed-point algorithm for the infinity-norm case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 31(4), pp. 580-586, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fixed-points algorithms, nonlinear partial differential equations, game theory, economics, Fixed points |
31 | 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 |
31 | Steve Vestal |
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(4), pp. 308-317, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
fixed-priority sensitivity analysis, linear computation time models, scheduling discipline, hard real-time periodic tasks, task scheduling feasibility, real-time verification, real-time benchmarking, real-time architectures, scheduling, real-time systems, computational complexity, formal verification, software components, real-time scheduling, sensitivity analysis, modules, schedulability analysis, software development process, rate monotonic scheduling, task decomposition, fixed-priority preemptive scheduling, uniprocessor |
31 | Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider |
Engineering and Analysis of Fixed Priority Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(9), pp. 920-934, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms |
31 | 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 |
31 | Ou He, Sheqin Dong, Jinian Bian, Satoshi Goto, Chung-Kuan Cheng |
A novel fixed-outline floorplanner with zero deadspace for hierarchical design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2008 International Conference on Computer-Aided Design, ICCAD 2008, San Jose, CA, USA, November 10-13, 2008, pp. 16-23, 2008, IEEE Computer Society, 978-1-4244-2820-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
floorplanner, soft modules, zero deadspace, fixed-outline |
31 | Jinjun Chen, Yun Yang 0001 |
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 141-150, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
checkpoint selection, fixed-time constraints, grid workflows, temporal dependency |
31 | 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 |
31 | Zulkalnain Mohdyusof, Thomas R. Fischer |
Subband image coding using a fixed-rate lattice vector quantizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 101-104, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
subband image coding, fixed-rate lattice vector quantizer, entropy-coded lattice vector quantizer, error-free channel, variable length coder, single bit error, encoding rates, channel noise, performance, image coding, error analysis, image quality, error propagation, vector quantisation, entropy codes, lattice theory, degradation, macroblock, transmission error, binary symmetric channel |
30 | 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 |
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 | Kwame Osei Boateng, Hiroshi Takahashi, Yuzo Takamatsu |
General BIST-Amenable Method of Test Generation for Iterative Logic Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 18th IEEE VLSI Test Symposium (VTS 2000), 30 April - 4 May 2000, Montreal, Canada, pp. 171-178, 2000, IEEE Computer Society, 0-7695-0613-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fixed-coverage fixed-size test set, test generation, BIST, iterative logic arrays |
28 | 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 |
28 | Karl R. Abrahamson, John A. Ellis, Michael R. Fellows, Manuel E. Mata |
On the Complexity of Fixed Parameter Problems (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 210-215, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
fixed parameter problems, polynomially indexed relations, complexity, completeness, polynomial time, fixed-parameter tractability |
28 | Noga Alon, Shai Gutner |
Linear Time Algorithms for Finding a Dominating Set of Fixed Size in Degenerated Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 54(4), pp. 544-556, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
H-minor-free graphs, Degenerated graphs, Dominating set problem, Finding an induced cycle, Fixed-parameter tractable algorithms |
28 | Sung-Ho Yoon, Jin-Wan Park, Jun-Sang Park, Young-Seok Oh, Myung-Sup Kim |
Internet Application Traffic Classification Using Fixed IP-Port. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: Management Enabling the Future Internet for Changing Business and New Computing Services, 12th Asia-Pacific Network Operations and Management Symposium, APNOMS 2009, Jeju, South Korea, September 23-25, 2009, Proceedings, pp. 21-30, 2009, Springer, 978-3-642-04491-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Traffic monitoring and analysis, Fixed IP-port, Traffic classification, Application identification |
28 | Tuan-Dung Nguyen, Thaere Eido, Tülin Atmaca |
DCUM: dynamic creation of fixed-size containers in multiservice synchronous OPS ring networks. ![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. 89, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fixed-size optical payloads, quality of service (QoS) management, synchronous optical packet switching (OPS) networks, simulation |
28 | Song Chen 0001, Takeshi Yoshimura |
A stable fixed-outline floorplanning method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2007 International Symposium on Physical Design, ISPD 2007, Austin, Texas, USA, March 18-21, 2007, pp. 119-126, 2007, ACM, 978-1-59593-613-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
floorplanning, sequence pair, fixed-outline |
28 | Noga Alon, Shai Gutner |
Linear Time Algorithms for Finding a Dominating Set of Fixed Size in Degenerated Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings, pp. 394-405, 2007, Springer, 978-3-540-73544-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
H-minor-free graphs, degenerated graphs, dominating set problem, finding an induced cycle, fixed-parameter tractable algorithms |
28 | Chua-Chin Wang, Gang-Neng Sung, Jia-Hao Li |
Codec Design for Variable-Length to Fixed-Length Data Conversion for H.263. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: Second International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2006), Pasadena, California, USA, December 18-20, 2006, Proceedings, pp. 483-486, 2006, IEEE Computer Society, 0-7695-2745-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fixed-length, variable-length, compression, sparsity, H.263 |
28 | 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 |
28 | 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 |
28 | 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 |
28 | Eric Brier, Christophe Clavier, Jean-Sébastien Coron, David Naccache |
Cryptanalysis of RSA Signatures with Fixed-Pattern Padding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2001, 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, Proceedings, pp. 433-439, 2001, Springer, 3-540-42456-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
fixed-pattern padding, affine redundancy, RSA signatures |
28 | 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 |
28 | Liming Cai, Xiuzhen Huang |
Fixed-Parameter Approximation: Conceptual Framework and Approximability Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pp. 96-108, 2006, Springer, 3-540-39098-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Josep Ramon Morros, Ferran Marqués |
Scalable Segmentation-Based Coding of Video Sequences Addressing Content-Based Functionalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 1-4, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
scalable segmentation-based coding, content-based functionalities, video scalability, region-based coding system, scaled layers, fixed bit-rate, fixed quality, content based manipulation, supervised mode, enhancement layer, unsupervised mode, algorithm, video coding, video sequences |
26 | W. Wright |
Research report: information animation applications in the capital markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: IEEE Symposium On Information Visualization 1995, InfoVis 1995, 30-31 October 1995, Atlanta, Georgia, USA, pp. 19-25, 1995, IEEE Computer Society, 0-8186-7201-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
securities trading, information animation applications, securities market, securities industry, equity trading analytics, fixed income trading analytics, fixed-income risk viewing, three dimensional computer graphics, decision support systems, risk management, computer animation, data visualisation, visual design, financial data processing, decision-support tool, capital markets, 3D computer graphics |
26 | Marcello M. Bonsangue, Joost N. Kok |
Semantics, Orderings and Recursion in the Weakest Precondition Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 91-109, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers |
26 | Andreas Turina, Tinne Tuytelaars, Theo Moons, Luc Van Gool |
Grouping via the Matching of Repeated Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPR ![In: Advances in Pattern Recognition - ICAPR 2001, Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001, Proceedings, pp. 250-259, 2001, Springer, 3-540-41767-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Planar Homologies, Affinely Invariant Regions, Fixed Structures, Cascaded Hough Transform, Grouping, Projective Geometry |
25 | Reinder J. Bril, Johan J. Lukkien, Wim F. J. Verhaegh |
Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 42(1-3), pp. 63-119, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Level-i active period, Level-i busy period, Worst-case occupied time, Deferred preemption, Real-time systems, Fixed-priority scheduling, Periodic tasks, Worst-case response time |
25 | Lu-Chuan Ceng, Qamrul Hasan Ansari, Jen-Chih Yao |
Viscosity approximation methods for generalized equilibrium problems and fixed point problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 43(4), pp. 487-502, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Viscosity approximation method, Generalized equilibrium problem, Nonexpansive mappings, Strong convergence, Fixed points |
25 | 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 |
25 | Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring |
Generic programming with fixed points for mutually recursive datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 233-244, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mutually recursive datatypes, haskell, fixed points, datatype-generic programming |
25 | Timothy J. Williams |
Distributed calculations on fixed-income securities: keynote. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-WHPCF ![In: Proceedings of the 2nd Workshop on High Performance Computational Finance, WHPCF 2009, November 15, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-716-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed calculation, fixed-income securities, mortgage-backed securities, database, pricing, data cache, valuation |
25 | Stephen Hobson, Jim Austin |
Improved Storage Capacity in Correlation Matrix Memories Storing Fixed Weight Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I, pp. 728-736, 2009, Springer, 978-3-642-04273-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fixed weight codes, pattern recognition, Associative memory, storage capacity, correlation matrix memory |
25 | Sven Kosub |
Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(3), pp. 487-505, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithms and complexity, fixed points, Discrete dynamical systems |
25 | Sergio Cabello, Panos Giannopoulos, Christian Knauer, Günter Rote |
Geometric clustering: fixed-parameter tractability and lower bounds with respect to the dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, pp. 836-843, 2008, SIAM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
clustering, complexity, lower bound, dimension, fixed-parameter tractability |
25 | Suhair Hafez Amer, John A. Hamilton Jr. |
DSR and TORA in fixed and mobile wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 46th Annual Southeast Regional Conference, 2008, Auburn, Alabama, USA, March 28-29, 2008, pp. 458-463, 2008, ACM, 978-1-60558-105-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TORA, fixed wireless networks, MANET, DSR, OPNET |
25 | Zhenghao Zhang, Yuanyuan Yang |
Optical Packet Switches Enhanced with Electronic Buffering and Fixed Wavelength Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Managing Traffic Performance in Converged Networks, 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007, Proceedings, pp. 179-191, 2007, Springer, 978-3-540-72989-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Slotted, Loss ratio, Fixed wavelength conversion, Buffering, Wavelength-division-multiplexing (WDM), Optical Packet Switching |
25 | Pål Grønsund, Paal Engelstad, Torbjørn Johnsen, Tor Skeie |
The physical performance and path loss in a fixed WiMAX deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2007, Honolulu, Hawaii, USA, August 12-16, 2007, pp. 439-444, 2007, ACM, 978-1-59593-695-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WiMAX deployment, fixed WiMAX, path loss model, physical analysis |
25 | 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 |
25 | Ou He, Sheqin Dong, Jinian Bian, Yuchun Ma, Xianlong Hong |
An effective buffer planning algorithm for IP based fixed-outline SOC placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 564-569, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
buffer planning, very large scale integration (VLSI), floorplanning, fixed-outline |
25 | Vida Dujmovic, Michael R. Fellows, Michael T. Hallett, Matthew Kitching, Giuseppe Liotta, Catherine McCartin, Naomi Nishimura, Prabhakar Ragde, Frances A. Rosamond, Matthew Suderman, Sue Whitesides, David R. Wood |
A Fixed-Parameter Approach to 2-Layer Planarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 45(2), pp. 159-182, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Sugiyama approach, NP-complete, Graph algorithms, Graph drawing, Planarization, Fixed-parameter tractability, Crossing minimization |
25 | Fred W. Glover |
Parametric Ghost Image Processes for Fixed-Charge Problems: A Study of Transportation Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 11(4), pp. 307-336, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fixed-charge problems, ghost image processes, networks, tabu search, generalized networks |
25 | Bo Hu 0006, Yue Zeng, Malgorzata Marek-Sadowska |
mFAR: fixed-points-addition-based VLSI placement algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2005 International Symposium on Physical Design, ISPD 2005, San Francisco, California, USA, April 3-6, 2005, pp. 239-241, 2005, ACM, 1-59593-021-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
placement, fixed points, force-directed |
25 | Italo Milanese, Carlo Alberto Licciardi |
Fixed Mobile Convergence: 3 Words, Many Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATA ![In: Mobility Aware Technologies and Applications, Second International Workshop, MATA 2005, Montreal, Canada, October 17-19, 2005, Proceedings, pp. 96-106, 2005, Springer, 3-540-29410-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fixed Mobile Convergence (FMC), Session Initiation Protocol (SIP), Service Delivery Platform (SDP), Service Creation Environment (SCE) |
25 | Yvonne Hitchcock, Paul Montague, Gary Carter, Ed Dawson |
The efficiency of solving multiple discrete logarithm problems and the implications for the security of fixed elliptic curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 3(2), pp. 86-98, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Elliptic curve discrete logarithm problem (ecdlp), Baby-step giant-step method (bsgs), Pollards rho method, Fixed elliptic curve, Precomputation |
25 | Enrico Bini, Giorgio C. Buttazzo |
Schedulability Analysis of Periodic Fixed Priority Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(11), pp. 1462-1473, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Real-time systems and embedded, fixed priority scheduling, systems analysis and design |
25 | 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 |
25 | 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 |
25 | Jens Gramm, Rolf Niedermeier, Peter Rossmanith |
Fixed-Parameter Algorithms for CLOSEST STRING and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 37(1), pp. 25-42, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Consensus word analysis, NP-complete, Exact algorithms, Fixed-parameter tractability |
25 | Han-Saem Yun, Jihong Kim 0001 |
On energy-optimal voltage scheduling for fixed-priority hard real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 2(3), pp. 393-430, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
real-time systems, approximation algorithms, dynamic voltage scaling, Fixed-priority scheduling, fully polynomial time approximation scheme, variable voltage processor |
25 | Ching-Chih Han, Hung-Ying Tyan |
A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 36-45, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
polynomial-time schedulability test, real-time fixed-priority scheduling algorithms, closed-form utilization, polynomial-time schedulability, processor scheduling, schedulability condition |
25 | Edward David Moreno Ordonez, Sergio Takeo Kofuji |
Performance evaluation of the fixed sequential prefetching on a bus-based multiprocessor: preliminary results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 487-493, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
fixed sequential prefetching, bus-based multiprocessor, sequential prefetching, OBL policy, performance evaluation, performance evaluation, Petri nets, Petri nets, shared memory systems, shared memory systems, cache storage, data prefetching |
25 | 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 |
|
25 | 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 |
|
24 | Teresa Franklin |
Adventures in Agile Contracting: Evolving from Time and Materials to Fixed Price, Fixed Scope Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGILE ![In: Agile Development Conference, AGILE 2008, Toronto, Canada, 4-8 August 2008, pp. 269-273, 2008, IEEE Computer Society, 978-0-7695-3321-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
24 | 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 |
24 | 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 |
Displaying result #1 - #100 of 28088 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|