-
1
-
2Academic Journal
المؤلفون: Nicolas Ray, Bruno Vallet, Laurent Alonso, Bruno Levy
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, I.3.7 [Computer Graphics, Three-Dimensional Graphics and Realism—Color, shading, shadowing, and texture, I.3.5 [Computer Graphics, Computational Geometry and Object Modeling, G.1.6 [Numerical Analysis, Optimization, J.6 [Computer Applications, Computer Aided Engineering General Terms, Algorithms Additional Key Words and Phrases, Vector field design, topology, filtering ACM Reference Format
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.233.4492; http://www.cs.jhu.edu/%7Emisha/ReadingSeminar/Papers/Ray09.pdf
-
3Academic Journal
المؤلفون: Pascal Volino, Nadia Magnenat-thalmann, Francois Faure
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, I.6 [Computing Methodologies, Simulation and Modeling, I.3.5 [Computing Methodologies, Computer Graphics- Computational Geometry and Object Modeling- Physically-Based Modeling, J.6 [Computer Applications, Computer-Aided Engineering. General Terms, Mechanical Simulation, Cloth Simulation. Additional Key Words and Phrases, Particle Systems, Finite Elements
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.5537; http://hal.inria.fr/docs/00/39/44/66/PDF/tensile.pdf
-
4Academic Journal
المؤلفون: Eric Berberich, Michael Sagraloff
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://domino.mpi-inf.mpg.de/intranet/ag1/ag1publ.nsf/20a0a8aecef76f33c12569e30040d63d/da170a5504abaf9bc1257472005b1b05/$FILE/bs-framework-authprep.pdf.
مصطلحات موضوعية: CR Categories, J.6 [Computer Applications, Computer
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.560.4944; http://domino.mpi-inf.mpg.de/intranet/ag1/ag1publ.nsf/20a0a8aecef76f33c12569e30040d63d/da170a5504abaf9bc1257472005b1b05/$FILE/bs-framework-authprep.pdf
-
5Academic Journal
المؤلفون: Panagiotis Manolios, Sudarshan K. Srinivasan
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, J.6 [Computer Applications, Computer-Aided Engineering General Terms, Design, Reliability Additional Key Words and Phrases, Refinement maps, flushing, commitment, SAT, pipelined machines, verification, refinement, bisimulation, liveness ACM Reference Format
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.489.1678; http://www.ccs.neu.edu/home/pete/pub/todeas-safety-liveness-refinement.pdf
-
6Academic Journal
المؤلفون: Alessandro Pinto, Alvise Bonivento, Alberto L, Roberto Passerone, Marco Sgroi, Docomo Euro-labs, A. Bonivento, A. L. Sangiovanni-vincentelli, Department Of Electrical
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, J.6 [Computer Applications, Computer-Aided Engineering General Terms, Design, Theory Additional Key Words and Phrases, Embedded systems, platform-based design, communication synthesis
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.321.876; http://disi.unitn.it/~roby/pdfs/PintoBoniventoASVPasseroneSgroi06TODAES.pdf
-
7Academic Journal
المؤلفون: Rajeev Alur
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Verification, J.6 [Computer Applications, Computer-Aided Engineering General Terms, Algorithms, Reliability, Verification Additional Key Words and Phrases, Rechability Analysis, Hybrid Systems, Predicate Abstraction
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.4900; http://www.cis.upenn.edu/~alur/Tacas03j.pdf
-
8Academic Journal
المؤلفون: Gang Chen, Jason Cong
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: analysis, J.6 [Computer Applications, Computer-Aided Engineering—Computer-aided design
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.523; http://cadlab.cs.ucla.edu/~cong/papers/p740-chen.pdf
-
9Academic Journal
المؤلفون: Josep Carmona
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, B.6.3 [Hardware, Logic Design- Design Aids, J.6 [Computer Applications, Computer-aided engineering. General Terms, Algorithms, Design. Keywords, Asynchronous circuits, Petri nets, state encoding
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.9622; http://www.lsi.upc.es/~jordicf/gavina/BIB/files/dac06_csc.pdf
-
10Academic Journal
المؤلفون: Umit Y. Ogras, Jingcao Hu, Radu Marculescu
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors J.6 [Computer Applications, Computer-Aided Design – computer-aided design (CAD). General Terms Algorithms, Performance, Design Keywords Systems-on-Chip, Multi-processor systems, Networks-on-Chip
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.333.1837; http://ziyang.eecs.umich.edu/~dickrp/aeos/reading/ogras-noc.pdf
-
11Academic Journal
المؤلفون: Heidi Ziegler, Mary Hall
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors B.6.3 [Design Aids, Automatic synthesis, J.6 [Computer Applications, Computer-aided design (CAD) General Terms Hardware Design, Performance Keywords Pipelining, Parallelizing compiler analysis techniques, Synthesis techniques for configurable computing, High-level and architectural synthesis, Rapid prototyping, FPGAs
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.6218; http://www.isi.edu/~yoonju/group/papers/fpga05_heidi.pdf
-
12Academic Journal
المؤلفون: Soji Yamakawa
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Tetrahedral mesh, Plastic injection molding, Finite element method Categories, I.3.5 [Computer Graphics, Computational Geometry and Object Modeling – Geometric Algorithms, Languages, and Systems, J.6 [Computer Applications, Computer-Aided
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.1394; http://cielab3.me.cmu.edu/~soji/publication/yamakawa_spm2005.pdf
-
13Academic Journal
المؤلفون: Rajarshi Mukherjee, Seda Ogrenci Memik, Gokhan Memik
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, B.6.3 [Hardware, Logic Design- Design Aids, J.6 [Computer Applications, Computer- aided Engineering (CAD). General Terms, Algorithms, Design, Experimentation. Keywords, Binding, Temperature, Switching, Leakage
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.574.2344; http://www.cs.york.ac.uk/rts/docs/DAC-1964-2005/papers/2005/dac05/pdffiles/p196.pdf
-
14Academic Journal
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/dac04/pdffiles/p139.pdf.
مصطلحات موضوعية: Categories and Subject Descriptors B.7.2 [Integrated Circuits, Design Aids – layout, J.6 [Computer Applications] Computer-Aided Engineering – computer-aided design. General Terms, Algorithms, Performance, Design. Keywords, Analog Integrated Circuit Design, Analog Layout Automation, Layout Symmetry, Analog Synthesis and Optimization
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7826; http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/dac04/pdffiles/p139.pdf
-
15Academic Journal
المؤلفون: Su-wei Wu, Yao-wen Chang
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/dac04/pdffiles/p177.pdf.
مصطلحات موضوعية: Categories and Subject Descriptors, B. 7.2 [Integrated Circuits, Design Aids—Layout &, Simulation, J.6 [Computer Applications, Computer- Aided Engineering—Computer-Aided Design General Terms, Algorithms, Measurement, Design, Performance Keywords, Floorplanning, Power/Ground Network
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.7288; http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/dac04/pdffiles/p177.pdf
-
16Academic Journal
المؤلفون: Hua Xiang, Kai-yuan Chao, Martin D. F. Wong
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/ispd04/pdffiles/p041.pdf.
مصطلحات موضوعية: Categories &, Subject Descriptors, B.7.2 [Integrated Circuits, Design Aids- Placement and routing, J.6 [Computer Applications, Computer-Aided Engineering- Computer-aided design General Terms, Algorithms, Design, Theory Keywords, ECO, Crosstalk, Routing
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.584.5441; http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/ispd04/pdffiles/p041.pdf
-
17Academic Journal
المؤلفون: David Baneres, Jordi Cortadella, Mike Kishinevsky
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, B.6.3 [Hardware, Logic Design- Design Aids, J.6 [Computer Applications, Computeraided engineering Terms, Algorithms, Design. Keywords, Boolean relations, decomposition, logic design
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9241; http://www.lsi.upc.es/~jordic/publications/pdf/dac04.pdf
-
18Academic Journal
المؤلفون: Tsung-yi Ho, Yao-wen Chang, Sao-jie Chen
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/ispd04/pdffiles/p034.pdf.
مصطلحات موضوعية: Categories and Subject Descriptors B.7.2 [Integrated Circuits, Design Aids- Layout, Place and Route, J.6 [Computer Applications, Computer-Aided En- gineering- computer-aided design (CAD) General Terms Algorithms, Designs Keywords Physical design, routing, multilevel optimization, process antenna effect, nanometer, design for manufacturability (DFM
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.6298; http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2004/ispd04/pdffiles/p034.pdf
-
19Academic Journal
المؤلفون: Paul J. Gray, Fathy Ismail, Sanjeev Bedi
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: J.6 [Computer Applications, Computer-Aided Engineering- Computer-Aided Design (CAD). General Terms Algorithms, Measurement, Verification. Keywords Swept volumes, Z-buffer, 5-Axis machining, Cusp modeling, Surface fitting
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.560.4125; http://mme.uwaterloo.ca/~machlab/papers/2003_Cusp_modelling.pdf
-
20Academic Journal
المؤلفون: Guang-ming Wu, Yun-chih Chang, Yao-wen Chang
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors, B7.2 [Integrated Circuits, Design Aids—placement and routing, J.6 [Computer Applications, Computer-Aided Engineering General Terms, Algorithms, Design, Experimentation, Measurement, Performance Additional Key Words and Phrases, Computer-aided design of VLSI, floorplanning, layout
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.2440; http://cc.ee.ntu.edu.tw/~ywchang/Papers/todaes03-btree.pdf