Result 1 to 20 of 100 total
The unknown component problem. Theory and applications. (English)
New York, NY: Springer (ISBN 978-0-387-34532-1/hbk; 978-0-387-68759-9/ebook). xv, 311~p. EUR~129.95/net; SFR~186.50; \sterling~117.00; \$~179.00 (2012).
1
Universal equivalence of partially commutative nilpotent groups. (English)
Sib. Math. J. 52, No. 5, 884-891 (2011); translation from Sib. Mat. Zh. 52, No. 5, 1113-1122 (2011).
2
Model-based chart image classification. (English)
Bebis, George (ed.) et al., Advances in visual computing. 7th international symposium, ISVC 2011, Las Vegas, NV, USA, September 26‒28, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-24030-0/pbk). Lecture Notes in Computer Science 6939, 476-485 (2011).
3
Model-based chart image classification (English)
ISVC (2), 476-485 (2011).
4
Chart image understanding and numerical data extraction (English)
ICDIM, 115-120 (2011).
5
ABC: an academic industrial-strength verification tool. (English)
Touili, Tayssir (ed.) et al., Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14294-9/pbk). Lecture Notes in Computer Science 6174, 24-40 (2010).
6
Logic synthesis and circuit customization using extensive external don’t-cares. (English)
ACM Trans. Des. Autom. Electron. Syst. 15, No. 3 (2010).
7
To SAT or not to SAT: scalable exploration of functional dependency (English)
IEEE Trans. Computers 59, No. 4, 457-467 (2010).
8
Efficient FPGA resynthesis using precomputed LUT structures (English)
FPL, 532-537 (2010).
9
Combinational techniques for sequential equivalence checking (English)
FMCAD, 145-149 (2010).
10
A single-instance incremental SAT formulation of proof- and counterexample-based abstraction (English)
FMCAD, 181-188 (2010).
11
Global delay optimization using structural choices (English)
FPGA, 181-184 (2010).
12
Monolithically stackable hybrid FPGA (English)
DATE, 661-666 (2010).
13
ABC: an Academic industrial-strength verification tool (English)
CAV, 24-40 (2010).
14
Structure of coordinate groups for algebraic sets in partially commutative nilpotent groups. (English)
Algebra Logic 48, No. 3, 214-227 (2009); translation from Algebra Logika 48, No. 3, 378-399 (2009).
15
Wiremap: FPGA technology mapping for improved routability and enhanced LUT merging (English)
TRETS 2, No. 2 (2009).
16
Scalable don’t-care-based logic optimization and resynthesis (English)
FPGA, 151-160 (2009).
17
Smartopt: an industrial strength framework for logic synthesis (English)
FPGA, 237-240 (2009).
18
Speculative reduction-based scalable redundancy identification (English)
DATE, 1674-1679 (2009).
19
Sequential logic synthesis using symbolic bi-decomposition (English)
DATE, 1458-1463 (2009).
20
Result 1 to 20 of 100 total
Start
Contact
Print
General Help
