21. ETH Zürich / Computer Science / CAD Tools CSDepartment Institut for computer Systems cad Tools ETH Zürich Department of computer science Comments to Jacques Supcik supcik@inf.et hz.ch May http://www.cs.inf.ethz.ch/projects/lola/gal22v10/

The Programmable Logic Device ispGAL22V10 N. Wirth Circuits to be implemented by the popular GAL22V10 PLD can be described in Lola and mapped onto the device by the program GAL22V10. Configurations can be loaded and tested while the chip remains in place. The PLD features an and/or matrix with 22 inputs and 10 outputs fed into its 10 macrocells. 12 of the 22 inputs come from input pins, and 10 are feedbacks from the macrocells. One of the inputs also serves as clock input. Signals (variables) are associated with signal numbers by position assignments in the Lola program. The numbers are - 9 for macrocell outputs and 10 - 21 for inputs. (The number of the clock is 21). Restrictions Programs to be loaded into the PLD must comply with the following restrictions: There can be at most 10 output variables. Given n outputs, there can be at most 22-n input variables. There are no local variables (exception: tri-state outputs, see below). All assignments for the outputs must have one of the following forms, where F(x) stands for an expression of input and output variables. We recommend to use disjunctive normal form for F. y := F(x) y := ~F(x) y := REG(F(x)) y := ~REG(F(x)) The number of terms in each expression is limited according to the resources of the device.

22. BLAST: Berkeley Lazy Abstraction Software Verification Tool Proceedings of the 14th International Conference on computerAided Verification (CAV), Lecture Notes in computer science 2404, Springer-Verlag, pages 526-538 http://www-cad.eecs.berkeley.edu/~rupak/blast/

BLAST Berkeley Lazy Abstraction Software Verification Tool Introduction Getting Started Documentation Related Projects Blast 1.0 has been released! Blast's Eclipse plug-in is available now! Introduction BLAST is a software model checker for C programs.  The goal of BLAST is to be able to check that software satisfies behavioral properties of the interfaces it uses. Blast uses counterexample-driven automatic abstraction refinement to construct an abstract model which is model checked for safety properties. The abstraction is constructed on-the-fly , and only to the required precision . The algorithm used by BLAST is described in . The BLAST project is supported by the National Science Foundation People Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Gregoire Sutre ... Dirk Beyer Adam Chlipala Getting Started  To get started with BLAST: Download and install the  Simplify Theorem Prover Download and extract BLAST binaries and examples . Before venturing further, please read the Copy the Simplify executable into the "../blast/bin/" directory, and add that directory to your path. See the Tutorial Introduction section in the BLAST User's Manual to learn how to start with BLAST using the examples in "../blast/test".

23. Computer Sciences In Automation Of Designing and distribution multimedia products of educational materials and cad tools in By realization of school olympiads on computer science, search of talented http://cad.ntu-kpi.kiev.ua/academic/kompscn.html

Computer sciences in automation of designing The defining role for development of modern company of information is well known and computer-oriented research-and-production technologies, based at association of intelligence of the person, computer data processing and transfer last through computer webs. Among the most important appendices of computer sciences in making modern information company are: Computerization of creative engineering activity of the person, most brightly exhibited in designing both creation of new objects and technologies artificial medium of an environment; Computerization of industrial-technological processes and managements them, including automation of management of enterprises; Computer support of creative processes and processes of a decision making in an orb of social-public and financially-industrial activity ; Creation of tool means of CASE-technologies (Computer Aided Software Engineering) for development of diverse computer technologies and appendices. Fundamental and engineering preparation in indicated directions is carried out in scopes of unified bachelor of " computer sciences " (6.0804), and engineering and masters specialization - on engineering specialities:

24. Computer Science Department - John Wood Community College cad technicians understand the principles, techniques, and terminology associated with a traditional drafting and design process;. understand computer concepts http://www.jwcc.edu/instruct/CAD/CADmain.asp

John Wood Community College Enrollment Academics Services ... Resources The CAD field is projected to see excellent job growth potential in the coming years. CAD technicians: understand the principles, techniques, and terminology associated with a traditional drafting and design process; understand computer concepts and techniques; and learn to apply drafting principles to a computer-based drafting environment. Associate Degrees A. A. S. Computer-Aided Design Carol Sharpe Department Chair csharpe@jwcc.edu CAD Faculty Jerry Hagmeier CAD Faculty jhagmeier@jwcc.edu return to JWCC Academics John Wood Community College document.write('Questions? Contact Us!');

25. ScienceDirect - Computer-Aided Design - List Of Issues (cad) Drafting autocad Design Colleges by Directory of Schools Online Programs Here ACCIS cad /computer science Degree Kaplan College cad Drafting / Engineering KennedyWestern University Civil Drafting cad - Engineering http://www.sciencedirect.com/science/journal/00104485

This Feature requires JavaScript Register or Login: Password: Athens Login Computer-Aided Design Bookmark this page as: http://www.sciencedirect.com/science/journal/00104485 Articles in Press Volume 36 Volume 36, Issue 10 , Pages 887-1009 (1 September 2004) Volume 36, Issue 9 , Pages 759-886 (August 2004) Distributed CAD for supporting internet collaborative design Volume 36, Issue 8 , Pages 665-757 (July 2004) Volume 36, Issue 7 , Pages 565-663 (June 2004) Volume 36, Issue 6 , Pages 499-564 (May 2004) Volume 36, Issue 5 , Pages 401-497 (April 2004) Volume 36, Issue 4 , Pages 297-399 (February 2004) Volume 36, Issue 3 , Pages 203-296 (March 2004) Volume 36, Issue 2 , Pages 93-202 (February 2004) Solid Modeling and Applications Volume 36, Issue 1 , Pages 1-92 (January 2004) Volume 35 Volume 34 Volume 33 Volume 32 ... Volume 1 Alert me when new Journal Issues are available Add this journal to My Favorite Journals Sample Issue Online More Publication Info Information for Authors Feedback ... Elsevier B.V.

26. Rensselaer Computer Science Colloquium Series -- April 7 (Wednesday) (Sage 3510; animation (digital actors), mixed reality systems and intelligent cad (virtual prototyping and M. Amato is an associate professor of computer science at Texas http://www.cs.rpi.edu/~drinep/colloquium/index_12.html

Randomized Motion Planning: From Intelligent CAD to Computer Animation to Protein Folding Motion planning arises in many application domains such as computer animation (digital actors), mixed reality systems and intelligent CAD (virtual prototyping and training), and even computational biology and chemistry (protein folding and drug design). Surprisingly, a single class of planners, called probabilistic roadmap methods (PRMs), have proven effective on problems from all these domains. Strengths of PRMs, in addition to versatility, are simplicity and efficiency, even in high-dimensional configuration spaces. In this talk, we describe the PRM framework and give an overview of several PRM variants developed in our group. We describe in more detail our work related to virtual prototyping, computer animation, and protein folding. For virtual prototyping, we show that in some cases a hybrid system incorporating both an automatic planner and haptic user input leads to superior results. For computation animation, we describe new PRM-based techniques for planning for deformable objects and for planning sophisticated group behaviors (flocking and herding). We will also describe our recent application of PRMs to protein folding, where, given the native fold, we construct a map of the protein's potential landscape which can be used to study protein folding kinetics. More information regarding our work, including movies, can be found at http://parasol.tamu.edu/ amato/

27. Rensselaer Computer Science Colloquium Series All computer science colloquium talks are scheduled on Tuesdays 400pm to 5 Texas A M University Randomized Motion Planning From Intelligent cad to computer http://www.cs.rpi.edu/~drinep/colloquium/

Rensselaer Polytechnic Institute Computer Science Colloquium Series Spring 2004 Last updated: June 7, 2004 All Computer Science colloquium talks are scheduled on Tuesdays 4:00pm to 5:00pm, with refreshments at 3:30pm in Amos Eaton 214, unless otherwise indicated. Please send suggestions for speakers, scheduling requests, corrections, or comments to Petros Drineas . (please remove "NOSPAM" from the email address). Directions to Campus Capital Region Links Computer Science Department Computer Science Department Meetings ... Fall 2001 Schedule

28. Top20ComputerScience.com - Online Directory For Computer Science Education. for computer science Education including Architecture, Artificial Intelligence, Mobile Communications, Internet, computer Scientists, Programming, cad, and more http://www.top20computerscience.com/

Connect Online TOP 20 Online ... Top 20 A-Z Make Top 20 Online your Start Page Top 20 Computer Science Listen while you surf the web Top 20 Music Links Local MapQuest Citysearch Ticketmaster ZIP Code ... Top 20 Nation Guides Search: Google MSN Yahoo DMOZ ... FREE Try Also Teoma LookSmart Vivisimo Images Google AltaVista Fast News Search Google Yahoo! ABCNews DayPop ... BN University Top 20 Sites BigChalk.com Comp Sci Project Linux Doc Project Turing Homepage ... Ariadne Search for "Comp Science" Yahoo! About.com Open Directory Looksmart ... Borders.com Architecture Intro to Architecture Architecture Basics Architecture Home Distributed Comp ... BigChalk.com AI Think Quest PC AI BotSpot.com AI FAQ ... About AI Mobile Intro to GPS GPS Overview PCS Hompage MobileInfo.com ... Open Directory Internet NetHistory Brief History Beginners' Guide Weather Report ... Yahoo! Security Hotlist Security Info Resource Center Security Search ... Yahoo! People Charles Babbage CS Virtual Musuem Seymour Cray Steve Jobs ... Open Directory O/S Linux Doc Project Linux.com Open Directory WinPlanet ... Other O/S's Algorithms Sorting Cookbook Sorting Code Sorting Algorithms Searching Hndbk ... BigChalk.com CAD AutoCAD AutoCad Tutorials CAD on the Web AIM Spice ... About.com

29. State Key Lab Of CAD CG, Zhejiang University intelligent cad methods and models” for graduates and PhD students in Chinese. July 1995October 1997 Assistant Professor, Department of computer science http://www.cad.zju.edu.cn/people/wdgeng.html

OVERVIEW PEOPLE RESEARCH ACADEMICS ... search Weidong Geng, PhD Professor, Vice director Phone: (0086)571-87951045 Fax: (0086) 571-87951780 Email: gengwd@cs.zju.edu.cn Personal Homepage: http://www.cad.zju.edu.cn/home/wdgeng Research Areas/Interests Motion captured animation Motion editing, synthesis and choreography Computer Assisted Cartoon Animation Non-photorealistic Computer Graphics Game development and digital entertainment Shoe CAD system Brief Introduction: Education: 1992- 1995 Zhejiang University, Hangzhou, China Ph.D. Computer Science and Engineering 1989-1992 National University of Defence Technology, Changsha, China M.Eng. Computer Science and Engineering 1985-1989 Nanjing University, Nanjing, China B.Sc. Computer Science Experience: Jan 2002-May 2003: Visiting Associate Professor, Multimedia Innovation Centre, The Hong Kong Polytechnic University, Hong Kong *Supervision of final year project of MSc students *As principal investigator, participated in Kungfu motion synthesis project

30. COMPUTER ¨CAIDED DESIGN / Graphics ¡ª 2001 of outstanding quality that have been presented at cad/Graphics 2001 science in Engineering, computers Graphics, Journal of computer science and Technology http://www.cad.zju.edu.cn/conference/2001CAD_Graphics/CallForPaper.htm

CAD/Graphics'2001 August 20-22, 2001, Kunming, China Sponsored by Chinese Computer Federation Organized by Zhejiang University and Yunnan University Call For Papers http://www.cse.cuhk.edu.hk/~CADCG2001 or http://www.cad.zju.edu.cn/CADCG2001 General Information CAD/Graphics'2001, the seventh international conference on Computer Aided Design and Graphics, will be held from August 20-22, 2001 in Kunming, a picturesque city located in the southwest part of China. Optional post-conference tours to Shangrila which maybe the last virgin land where one can observe cultural layers going back for thousands of years into the past, and Xishuangbanna where many rare species of plants and endangered animals live in, will be arranged for the participants. Conference Honorary Chairs Jose Encarnacao (Fraunhofer-Institut fuer, Germany) Nadia Thalmann (Geneva Univ., Switzerland) Conference Co-Chairs John Staudhammer (UC, Los Angles, USA)

31. Ashesi University College - Computer Science This course will cover an advanced topic in computer science depending on of combinational and sequential logic; VLSI design methodologies; cad tools for layout http://www.ashesi.org/ACADEMICS/compsci.html

Core Computer Science Business Administration Africana Studies Continuing Education Computer Science Programming II Programming III Software Engineering Operating Systems ... Advanced Topics in Computer Science Programming II: Introduction to Computer Programming This course gives students an intensive introduction to programming, as well as experience working with (but not designing) larger systems. Concepts will be illustrated using the Java language. In addition to elaborating on all the concepts from Programming I, this course will introduce the object concept; using and declaring functions (methods); data types and variables including arrays; and the use of standard packages. Some techniques for searching and sorting arrays will be introduced. Basic software engineering concepts will also be introduced, such as the software life-cycle; characteristics of good software; documentation, testing; and coding practices which promote correctness and robustness. The course will include at least one team project. At the end of the course, students will be fluent in the basic concepts of modern programming using an object oriented paradigm, and should have the ability to carry out a simple program development process. Discrete Structures and Theory This course will introduce students to discrete mathematical objects useful for computer science and engineering. Topics covered include fundamentals of set theory, graph theory, enumeration, and algebraic structures, with applications in computing. The goal of this course is to provide students with the definitions and basic tools for reasoning about discrete mathematical objects useful for computer science and engineering.

32. Columbia Engineering :: Undergraduate Research In Computer Science Prerequisites (a) for cad projects, digital logic basics ( COMS 3824 or Contact Professor Steven Nowick, nowick@cs.columbia.edu, 508 computer science, 212939 http://www.engineering.columbia.edu/students/academics/research/cs.php

Department of Computer Science Chair: Professor Kathleen McKeown, 450 Computer Science, 854-2736 Opportunities mobile robotics image processing tactile sensing 3-D modeling Activities include working on software and hardware projects in the Columbia Robotics Lab. Some current projects include automated 3-D site modeling of outdoor structures, graphical simulation of multifingered grasping, 3-D reconstruction of objects, and medical robotics. Research positions carry academic credit and may extend into summer and/or have remuneration. Weekly commitment is about 10 hours. Students should be able to work independently; have completed COMS W3137: Data structures and algorithms and have had some experience with either computer vision, robotics, or graphics. Details on research in the Columbia Robotics Lab can be found at http://www.cs.columbia.edu/robotics Contact: Professor Peter Allen, allen@cs.columbia.edu , 450 Computer Science, 212-939-7093 Opportunities embedded system development device driver development domain-specific languages compilers computer-aided design tools Projects include embedded system design and development, device driver development, design and implementation of domain-specific languages and their compilers, and development and implementation of algorithms for synthesizing hardware and software from the real-time language Esterel. Projects are ongoing and can be done for academic credit either during the term or over the summer. Knowledge of C/C++, operating systems, digital hardware design, optimization algorithms, and compilers is desirable. Projects may be done independently or as part of a larger team.

33. Columbia Engineering :: Computer Science Upperlevel students in computer science may assist faculty and performance evaluation, computer networks, computer architecture, cad for digital http://www.engineering.columbia.edu/students/academics/dept/compsci.php?tab=unde

34. Department Of Computer Science And Information Engineering, NCTU and Image Processing, Pattern Recognition Theory and Application,cad/CAM Automation State University, USA, The general area of computer science and engineering http://www.csie.nctu.edu.tw/english/member/index.php3?page=31

35. Computer Science: Publication: Modelling Robot Manipulators In A CAD Environment Modelling Robot Manipulators in a cad Environment Using BSplines, Colin G. Johnson, 1996, computer science, University of Kent at Canterbury. http://www.cs.kent.ac.uk/pubs/1996/1040/

Modelling robot manipulators in a CAD environment using B-splines Colin G. Johnson In Nikolaos G. Bourbakis, editor, IEEE International Joint Symposia on Intelligence and Systems , pages 194-201. Institute of Electrical and Electronic Engineers, IEEE Press, November 1996. Abstract A major aim of robotics research is the provision of systems which simplify the programming of robots, enabling experienced designers and engineers to implement robotic devices as part of a larger systems without the need to become expert programmers. Also in the quest for a flexible industrial production system is it desirable to be able to reprogram robots offline, so that they can be doing one task whilst being prepared for another. This paper describes the mathematical and computational background to a system which enables the development and testing of robot programs in a CAD environment in a way that is simple to use and compatible with existing methods used in CAD systems. Download publication 544 kbytes (PostScript) Bibtex Record Contact address Enquiries about UKC Computing Laboratory publications should be made to: Publications Officer Computing Laboratory The University Canterbury Kent http://www.cs.ukc.ac.uk/pubs/1996/1040/index.html

36. Computer Science: Publication: Modelling Robot Manipulators In A CAD Environment Modelling Robot Manipulators in a cad Environment Using BSplines, Colin G. Johnson and Duncan Marsh, 1996, computer science, University of Kent at Canterbury. http://www.cs.kent.ac.uk/pubs/1996/961/

Modelling robot manipulators in a CAD environment using B-splines Colin G. Johnson and Duncan Marsh In Nikolaos G. Bourbakis, editor, Proceedings of the 1996 IEEE Joint Symposia on Intelligence and Systems , pages 194-201. IEEE, IEEE Press, November 1996. Abstract A major aim of robotics research is the provision of systems which simplify the programming of robots, enabling experienced designers and engineers to implement robotic devices as part of a larger systems without the need to become expert programmers. Also in the quest for a flexible industrial production system is it desirable to be able to reprogram robots offline, so that they can be doing one task whilst being prepared for another. This paper describes the mathematical and computational background to a system which enables the development and testing of robot programs in a CAD environment in a way that is simple to use and compatible with existing methods used in CAD systems. Download publication 544 kbytes (PostScript) Bibtex Record Contact address Enquiries about UKC Computing Laboratory publications should be made to: Publications Officer Computing Laboratory The University Canterbury Kent http://www.cs.ukc.ac.uk/pubs/1996/961/index.html

37. Computer Science Department - Technion - People/Faculty A., and ELBER, G., Three dimensional freeform sculpting via zero sets of scalar trivariate functions , cad, Vol All rights reserved, computer science Department http://www.cs.technion.ac.il/People/Faculty/gershon.html

Home Technion General Information About the Department News Announcements Colloquia and Seminars ... Directions People Faculty Graduate Students Staff Directory Academics Course Information Teaching Schedule (pdf) Office Hours Undergraduate Studies Graduate Studies Research Research Areas Research Laboratories Technical Reports Resources Libraries: CS Central Computing Services Photo Gallery Google TM local search Assoc. Prof. Gershon Elber CONTACT INFORMATION Homepage: http://www.cs.technion.ac.il/~gershon Email: gershon cs.technion.ac.il Office: Phone: Office Hours: Wednesday, 8:30-10:30 RESEARCH INTERESTS Computer aided geometric design; Computer graphics. SELECTED PUBLICATIONS ELBER, G., and KIM, M.S., "The bisector surface of freeform rational space curves", Transactions on Graphics, Vol. 17, No. 1, pp. 32-50, 1998. LEE, I.K., KIM, M.S., and ELBER, G., "Polynomial/rational approximation of minkowski sum boundary curves", Graphics Models and Image Processing, Vol. 60, No. 2, pp. 136-165, 1998. ELBER, G., "Line art illustrations of parametric and implicit forms", IEEE Transactions on Visualization and Computer Graphics, Vol. 4, No. 1, pp. 71-82, 1998. ELBER, G., and ZUSSMAN, E., "Cone visibility decomposition of freeform surfaces'', CAD, Vol. 30, No. 4, pp. 315-320, 1998.

38. [52.225] CAD About... My Heroes cad About He is currently Chairman of the computer science Department and holds the Willard R. and Inez Kerr Bell Professorship in the School of Engineering http://www.cs.strath.ac.uk/~dunc/teaching/cad/about/heroes.html

http://www.cis.strath.ac.uk/~dunc/ teaching/ cad/ about/ ... [map] CAD About... My Heroes Content updated Thu, 08 Jan 1998 19:08:49 GMT CAD About... [home] CAD About... CAD About... My Heroes John L. Hennessy (Stanford University) has been a member of the Stanford faculty since 1977, where he teaches computer architecture and supervises a group of energetic Ph.D. students. He is currently Chairman of the Computer Science Department and holds the Willard R. and Inez Kerr Bell Professorship in the School of Engineering. Hennessy is a Fellow of the IEEE, a member of the National Academy of Engineering, and a Fellow of the American Academy of Arts and Sciences. He received the 1994 IEEE Piore Award for his contributions to the development of RISC technology. Hennessy's original research area was optimizing compilers. His research group at Stanford developed many of the techniques now in commercial use. In 1981, he started the MIPS project at Stanford with a handful of graduate students. After completing the project in 1984, he took a one-year leave of absence from the university to co-found MIPS Computer Systems, which has since merged with Silicon Graphics. Hennessy's recent research at Stanford focuses on the area of designing and exploiting multiprocessors. Most recently, he has been involved in the development of the DASH multiprocessor architecture, one of the first distributed shared-memory multiprocessors. David A. Patterson

39. CAD CADD: Computer Aided Design. Consultant McCann Science While most of the McCann science activity is directed to we can also provide assistance in computer aided drafting We can convert your sketches into cad files. http://www.mccannscience.com/CAD.htm

CAD service, Autocad. Drawing linked to computation. 3D visualisation of design ideas McCann Science Computation linked to CADD. While most of the McCann Science activity is directed to mathematical modelling and simulation, we can also provide assistance in computer aided drafting, either as part of the work on design and modelling or as separate assignments. Autocad in Use We use Autocad by Autodesk. We can convert your sketches into CAD files. We can make CAD drawings that are driven by computations such as Mathcad so that the physical design consequences of system parameter changes can be immediately visualised. We can take your marked up drawings and corresponding CAD files, do the modifications you need and send the new files back to you using email, internet, ftp, CD-RW as you chose. Location We are located in SE Pennsylvania, Near Westchester PA so we are near Wilmington DE and Philadelphia PA. Baltimore MD, Washington DC, New York NY, Camden NJ and Arlington / Reston VA are fairly close. But we have found that it is not necessary to be close by to collaborate. Call or email us and see what makes sense. We will be happy to do a little free test example to make sure we have a mutually satisfactory mode of working.

40. IBM Research - Computer Science - 2002 CS/EE/Math Best Paper technology, CATIA will be the first major cad package to with Memory Restrictions Miklos Ajtai Journal of computer and System Sciences Paper http://www.research.ibm.com/compsci/abstracts.html

Computer Science 2002 IBM Research CS/EE/Math Best Paper Awards 2002 IBM Research CS/EE/Math Best Paper Awards Over 158 papers published in conference proceedings and journals in 2002 were submitted by IBM Research authors worldwide for consideration as 2002 CS/EE/Math Best Papers. The following four were selected (in alphabetical order): Cut-and-Paste Editing of Multiresolution Surfaces Henning Biermann (NYU), Ioana Martin, Fausto Bernardini and Denis Zorin (NYU) ACM SIGGRAPH Paper Description This work has immediate impact for content creation in several industries including MCAD, Games, and Film. This new technology will be included as a module of Dassault Systemes' CAD package CATIA, which IBM markets as part of its Product Lifecycle Management product portfolio. CATIA is a market leader in the Automotive and Aerospace industries. With this technology, CATIA will be the first major CAD package to offer integrated car body styling tools. In addition to Dassault Systemes, many IBM PLM industrial partners as well as academic researchers have expressed interest in this work. It has recently become the starting point for several PhD projects at universities around the world.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 2     21-40 of 98    Back | 1  | 2  | 3  | 4  | 5  | Next 20