|
| |
| | No Title |
 | | Prerequisite: Computer Science 290, Computer Science 300 and Computer Science 311. | | | Prerequisite: Computer Science 320 and Computer Science 290. | | | Prerequisite: Computer Science 290 and Computer Science 321. |
|
http://www.cs.csubak.edu/CS/c97_99.html
(2094 words)
|
|
| |
| | Computer science - Wikipedia, the free encyclopedia |
| | Computer science is the study of information and computation. | | | The renowned computer scientist Edsger Dijkstra is often quoted as saying, "Computer science is no more about computers than astronomy is about telescopes." The study of computer hardware is usually called computer engineering, and the study of commercial computer systems and their deployment is often called information technology or information systems. | | | The history of computer science predates the modern digital computer, though certain fields within computer science (such as operating systems) developed in parallel with the computer; other fields, such as computer vision, have developed more recently. |
|
http://en.wikipedia.org/wiki/Computer_science
(590 words)
|
|
| |
| | Computer science - encyclopedia article about Computer science. |
| | Theoretical computer science is the mathematics of computing. | | | Computer engineering is the analysis, design, and construction of computer systems (including computer hardware and computer networks). | | | Bioinformatics or computational biology is the use of techniques from applied mathematics, informatics, statistics, and computer science to solve biological problems. |
|
http://encyclopedia.thefreedictionary.com/computer+science
(3229 words)
|
|
| |
| | Concurrency (computer science) - Wikipedia, the free encyclopedia |
| | In computer science, concurrency is concerned with the study and design of systems which consist of computations that execute overlapped in time (including running in parallel), and which may permit the sharing of common resources between those overlapped computations. | | | Concurrent programming encompasses the programming languages and algorithms used to implement such techniques. | | | The design of such concurrent systems often entails finding reliable techniques for coordinating their execution, data exchange, memory allocation, and execution scheduling in such a way as to minimize response time and maximise throughput. |
|
http://en.wikipedia.org/wiki/Concurrency_(computer_science)
(359 words)
|
|
| |
| | ABSTRACTS (Theoretical Computer Science )Droste |
| | Information and Computation 126 (1996), 105 - 113. | | | Information and Computation 94 (1991), 48 - 61. | | | Information and Computation 82 (1989), 65 - 80. |
|
http://www.math.tu-dresden.de/alg/droabtcs.html
(3775 words)
|
|
| |
| | Computer Science |
| | Theoretical Computer Science at the University of Waterloo | | | The members are active in teaching and research in topics including design and analysis of algorithms, in particular in graph theory and computational geometry; data structures, in particular for spatial data; computability and complexity; information security and cryptography; and parallel computation. | | | -- Research areas include design and analysis of algorithms, models of computation, and computational complexity. |
|
http://www.personal.kent.edu/~rmuhamma/CompScience/cs.html
(1354 words)
|
|
| |
| | Computer Science |
| | Computer science is the study of computer systems, including the architecture of computers, development of computer software, information processing, computer applications, algorithmic problem-solving, and the mathematical foundations of the discipline. | | | Computing facilities for undergraduates are maintained by both the University Computing Center and the Department of Computer Science. | | | The computer science major provides professional education in computer science to prepare the student for graduate study or for a career in the computing field. |
|
http://naples.cc.sunysb.edu/CAS/ubdepts0305.nsf/pages/cse
(2527 words)
|
|
| |
| | CS Catalog |
| | Artificial intelligence; computer science theory; computer system architecture; computer programming languages and systems: foundation of programming and database and knowledge-based systems; computer network modeling and analysis; scientific computing (two options): biological systems, physical systems. | | | The programs provide comprehensive and strongly related studies of subjects in computer system architecture, computer network modeling and analysis, distributed computer systems, programming languages and systems, artificial intelligence, computer science theory, and scientific computing such as Bioinformatics. |
|
http://www.cs.ucla.edu/csd/cs_catalog.html
(6318 words)
|
|
| |
| | Concurrency (from computer science) -- Encyclopædia Britannica |
| | The field of computer science includes engineering activities such as the design of computers and of the hardware and software that make up computer systems. | | | It attempts to bring together concepts and methods from various disciplines such as library science, computer science and engineering, linguistics, psychology, and other technologies in order to develop techniques and devices to aid in the handling—that is, in the collection, organization,... | | | The first gridpad computer was invented by Jeff Hawkins and marketed in 1990. |
|
http://www.britannica.com/eb/article-168859
(735 words)
|
|
| |
| | Computer Science Department |
| | The department is active in many of the major research areas in computer science with specialization in Visual Computing, Computer Systems, Networking and Security, Databases, Logic Programming and Deductive Systems, Concurrency and Verification, Algorithms and Complexity, and Computer Science Education. | | | Established in 1969, the Computer Science Department at Stony Brook University is ranked consistently among the top quarter of Computer Science research departments in North America. | | | Welcome to the Computer Science Department at Stony Brook University |
|
http://www.cs.sunysb.edu
(276 words)
|
|
| |
| | Computer Science |
| | Understanding of Computer Modeling of Complex Systems, Complex adaptive systems approach to the study of evolutionary computation, neural computation, cellular computation, computational models of immune systems, complexity theory, computational economics, and other fields of application. | | | Literacy: history of computing, structure of computers, telecommunications, computer ethics, computer crime, and history of programming languages. | | | Models of computation: finite state automata, pushdown automata and Turing machines. |
|
http://www.iastate.edu/~catalog/2001-03/courses/coms.html
(3313 words)
|
|
| |
| | The World Wide Web Virtual Library: Concurrent Systems |
| | Parallel Supercomputing, Distributed Computing, Parallel Applications and Parallel Tools and Algorithms in the Theory, Computational Science and Computing (TCSC) programme at Daresbury Laboratory, UK. | | | Concurrent and Logic Programming, Department of Computer Science, University of Bristol, UK. | | | Parallel and Distributed Computing at the Software Engineering Research Group, Department of Computer Science, Michigan State University, USA. |
|
http://vl.fmnet.info/concurrent
(955 words)
|
|
| |
| | List of computer scientists - Encyclopedia.WorldSearch |
| | A few of these people pre-date the invention of the digital computer; they are now regarded as computer scientists because their work can be seen as leading to the invention of the computer. | | | This is a list of computer scientists, people who do work in computer science, in particular researchers and authors. | | | Others are mathematicians whose work falls within what would now be called theoretical computer science, such as complexity theory and algorithmic information theory. |
|
http://encyclopedia.worldsearch.com/list_of_computer_scientists.htm
(407 words)
|
|
| |
| | Computer Science Department |
| | This shall include Computer Science 440, 461, 589, 597 or 598; one of 541, 542, 543, 544, 545, 546, 547 or 548; and 15 units of electives (9 units must be at the 500 level). | | | Description: Prerequisites: Computer Science 311, 351 and Mathematics 270B. | | | Description: Prerequisites: Computer Science 321, 331 and Mathematics 338. |
|
http://www.fullerton.edu/catalog/academic_departments/cpsc.asp
(4203 words)
|
|
| |
| | School of Computer Science - Study Opportunities - Undergraduate Degrees - Maths and Computer Science |
| | The School of Computer Science is a excellent place to pursue a joint degree of this nature, due to the reputation of our research in Theoretical Computer Science. | | | The interface between Computer Science and Mathematics is particularly exciting at the moment, as these disciplines now form the nucleus of a new science of information and communication. | | | Mobile computing, agency, uncertain reasoning, randomised algorithms, security and encryption, concurrency and exact real number computation are all hot topics academically that are also having a significant commercial impact. |
|
http://www.cs.bham.ac.uk/study/undergraduate/mathcs.php
(373 words)
|
|
| |
| | Dining philosophers problem - Wikipedia, the free encyclopedia |
| | In computer science, the dining philosophers problem is an illustrative example of a common computing problem in concurrency. | | | The lack of available forks is an analogy to the locking of scarce resources in real computer programming, a situation known as concurrency. | | | In 1965, Edsger Dijkstra used the example of a group of philosophers to solve a synchronization problem. |
|
http://en.wikipedia.org/wiki/Dining_philosophers_problem
(584 words)
|
|
| |
| | Guide to Computer Science Internet Resources [Internet Resources] |
| | Computer Almanac - Interesting and Useful Numbers about Computers - A collection of numbers & facts relevant to computers & the Internet. | | | Directory of Computing Science Journals} - This directory provides access to information about computer science journals and for some, tables of contents, abstracts, & full-text are available. | | | Collection of Computer Science Bibliographies - A searchable collection of bibliographies from various sources, covering most aspects of computer science. |
|
http://www.library.ucsb.edu/istl/97-summer/internet2.html
(1818 words)
|
|
| |
| | Using TRIZ in Computer Science - Concurrency |
| | Since computer science has been around for a very short period, it is a baby compared to physics and mechanical engineering. | | | Concurrent programming is the activity of constructing a program containing multiple processes that execute in parallel. | | | Universities spend much time developing formal techniques based on solid mathematical foundations in the Computer Science field; yet without a systematic way of applying formal techniques to real practice (in a way that it is understandable to the average hacker, oops I mean programmer), we cannot maximize the quality of our software systems. |
|
http://www.triz-journal.com/archives/1999/08/d
(2349 words)
|
|
| |
| | Concurrency in the Introductory Computer Science Course |
| | The teaching of introductory computer science today is focused on sequential algorithms and processing. | | | It is well documented that students who are taught introductory computer science using the imperative programming paradigm have a difficult time transitioning to the object-oriented programming paradigm. | | | A controlled experiment was devised to teach introductory computer science students both sequential and concurrent programming to students in their first programming language course. |
|
http://www.seas.gwu.edu/~csersrch/lund
(272 words)
|
|
| |
| | Concurrency Abstracts |
| | Of particular interest for computer science is their interpretation as computational processes, which takes A to be a schedule of events distributed in time, X to be an automaton of states forming an information system in the sense of Scott, and the pairs (a,x) in the = | | | This shows the duality of computation to be more fundamental than the logic of computation for which choice is disjunction and concurrency conjunction. | | | The Pentium computer chip's division algorithm relies on a table from which five entries were inadvertently omitted, with the result that 1738 single precision dividend-divisor pairs yield relative errors whose most significant bit is uniformly distributed from the 14th to the 23rd (least significant) bit. |
|
http://boole.stanford.edu/abstracts.html
(9620 words)
|
|
| |
| | FSTTCS |
| | Indian Association for Research in Computing Science, IARCS, and is the longest running conference in computer science in India. | | | There are also four to six invited talks by eminent computer scientists, Contributed papers and write-ups of invited talks appear in the procceedings, which for the last twenty years have been published by Springer in its Lecture Notes in Computer Science (LNCS) series. | | | It also provides an excellent forum for meeting and exchanging ideas with people who are at the frontline of software technology and theoretical computer science. |
|
http://www.fsttcs.org
(289 words)
|
|
| |
| | SRI Computer Science Laboratory |
| | The Computer Science Laboratory studies the logical foundations of scalable systems, that are beyond the scope of traditional testing or simulation, and builds and applies efficient high-level tools for rigorous mechanical analysis. | | | Current systems of interest include not only traditional computer hardware and software, but also biological systems and nanoelectronics. |
|
http://www.csl.sri.com
(60 words)
|
|
| |
| | Informatics@Edinburgh: Artificial Intelligence, Cognitive Science, Computer Science, Software Engineering |
| | The School brings together research in Computer Science, Cognitive Science, Computational Linguistics and Artificial Intelligence and provides a fertile environment for a wide range of interdisciplinary studies. | | | We offer a flexible choice of undergraduate and postgraduate courses and degrees in Artificial Intelligence, Cognitive Science, Computational Linguistics, Computer Science and Software Engineering. | | | 'Astro-informatics: computation in the study of the Universe', by Bob Mann and Andy Lawrence |
|
http://www.inf.ed.ac.uk
(152 words)
|
|
| |
| | Computer Laboratory - Computer Science Syllabus - Topics in Concurrency |
| | be able to formalise and to some extent analyse concurrent processes: establish bisimulation or its absence in simple cases, express and establish simple properties of transition systems in the modal mu-calculus, argue with respect to a process language semantics for secrecy or authentication properties of a small cryptographic protocol, formalise mobile computation. | | | Computer Laboratory > Computer Science Syllabus - Topics in Concurrency | | | Computer Laboratory - Computer Science Syllabus - Topics in Concurrency |
|
http://www.cl.cam.ac.uk/DeptInfo/CST/node77.html
(211 words)
|
|
| |
| | Home - Computer Professionals Program |
| | The Computer Professionals Program — also known as the M.S. in Computer Science Cooperative Program — is offered exclusively by Maharishi University of Management at its campus in Fairfield, Iowa, USA. | | | The Computer Science professors work closely with students to help bring maximum success to their studies and careers. | | | You can now gain professional IT experience in the USA and earn a Master of Science degree in Computer Science from a highly respected accredited U.S. university. |
|
http://mum.edu/compro
(415 words)
|
|
| |
| | Computer Science Education Research at GW |
| | Computer Science Education Research at GW This site contains content and links related to research in computer science education done in the Department of Computer Science, The George Washington University, Washington, DC 20052. | | | Computer Science Education Research at GW Department of Computer Science | | | Experiences using Ada and Java in Computer Science Education |
|
http://www.seas.gwu.edu/~csersrch
(230 words)
|
|
| |
| | Caltech Computer Science Technical Reports - Concurrency Algebra and Petri Nets |
| | Concurrency Algebra is an algebraic framework for reasoning about the dynamic behavior of
Petri nets. | | | Based on a simple algebra containing concatenation, choice, and shuffle of strings,
concurrency algebra uses a substitution schema determined by the structure of the given Petri
net to generate new terms that denote its behavior. | | | You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format. |
|
http://caltechcstr.library.caltech.edu/363
(119 words)
|
|
| |
| | Information and Computation |
| | Information and Computation welcomes original papers in all areas of theoretical Computer Science and computational applications of Information Theory. | | | The Editorial Board and Publisher of Information and Computation are pleased to announce that for one year, effective immediately, electronic access to all journal issues back to 1995 will be available without charge. | | | Albert R. Meyer, Editor-in-Chief, MIT Computer Science & AI Laboratory |
|
http://theory.lcs.mit.edu/~iandc
(138 words)
|
|
| |
| | Computer Science |
| | The goal of the Illinois Concert Project is to develop technology enabling the efficient execution of irregular computations through a concurrent object-oriented paradigm. | | | LAPACK is a library for performing dense matrix computations. | | | For SGETRF the performance is almost at 75% of the peak 200 MFLOPS when the problem size is large enough to saturate the cache, and a large computation to communication ratio is achieved. |
|
http://archive.ncsa.uiuc.edu/General/Exemplar/ARPA/2q95/CS.html
(2866 words)
|
|
| |
| | Concurrency control article - Concurrency control computer science databases database transactions relational - ... |
| | In computer science -- more specifically, in the field of databases -- concurrency control is a method used to ensure that database transactions are executed in a safe manner (i.e., without data loss). | | | Locks are bookkeeping objects associated with a database object. | | | Concurrency control article - Concurrency control computer science databases database transactions relational - What-Means.com |
|
http://www.what-means.com/encyclopedia/Concurrency_control
(219 words)
|
|
| |
| | Institute of Computer Science, Gdansk Branch |
| | Activities in the fields of theoretical computer science include: | | | The Group research concentrates on the mathematical foundations of computing. | | | We take (and have taken) part in several projects. |
|
http://www.ipipan.gda.pl
(140 words)
|
|
| |
| | The Mozart Programming System |
| | The system is the result of a decade of research in programming language design and implementation, constraint-based inference, distributed computing, and human-computer interfaces. | | | The Mozart Programming System is an advanced development platform for intelligent, distributed applications. | | | For distribution, Mozart provides a true network transparent implementation with support for network awareness, openness, and fault tolerance. |
|
http://www.mozart-oz.org
(220 words)
|
|
| |
| | [No title] |
| | Whether you are looking to complete your degree, advance your career or begin a new one, University of Phoenix Online offers bachelor's, master's, doctoral, and continuing education degree programs specifically designed for hard-working professionals who need to balance work, family, and an education. | | | At University of Phoenix Online, you can take classes at your own convenience (all from your computer) earn an online degree in business, technology, education, or nursing; and earn your degree in as little as 2-3 years. | | | Baker offers training and education in growing career fields like business, health, computers, technology, human services, and education. |
|
http://www.onlinecollegedegree.net
(1788 words)
|
|
| |
| | COMP 437: Concurrency — Computer Science Department |
| | Process algebras, formal specification, and testing are used as tools in the engineering of concurrent systems; event-based programming frameworks and thread libraries are employed in the implementation of such systems. | | | This course studies the architecture, design, and implementation of concurrent software systems. | | | Coursework includes several substantial programming projects (in a language such as Java) involving applications of concurrency and event-driven programming such as graphical user interfaces and distributed services using Remote Method Invocation (RMI). |
|
http://www.cs.luc.edu/academics/courses/cs437
(74 words)
|
|
| |
| | Computer> Database [encyclopedia] |
| | Database">Products related to Computer> Database: Database">books, Database">DVD, Database">electronics, Database">garden, Database">kitchen, Database">magazines, Database">music, Database">photo, Database">posters, Database">software, Database">tools, Database">toys, Database">VHS, Database">videogames | | | Databases are used in many applications, spanning virtually the entire range of computer software. | | | So not only most, if not all, of the impedance mismatch problem goes away, but also much application logic and integrity constraints can also be implemented in the database, much simplifying both coding and operation. |
|
http://kosmoi.com/Computer/Database
(1246 words)
|
|
| |
| | Selection of Computer Science Bibliographies |
| | Bibliography of the journal Concurrency and Computation: Practice and Experience | | | This is a list of those bibliographies of the Computer Science Bibliography Collection whose descriptions match | | | You may use Lucene syntax, available fields are: |
|
http://liinwww.ira.uka.de/bibliography?concurrency
(103 words)
|
|
| |
| | CS257-Programming with Concurrency |
| | The project will offer each student broad latitude to tailor a project to his or her own interests; possibilities include a design project, a programming (application) project, an implementation project, a program-analysis project, or a theory project. | | | In December, semantics: ugly truths about real machines and why things go wrong, how it may be possible to fix them, beautiful mathematical models of concurrency | | | One homework assignment will be to build a simple application using a concurrent programming language, and one to model an application using a modeling tool. |
|
http://www.eecs.harvard.edu/~nr/cs257
(827 words)
|
|
| |
| | Computer Science: Publication: Concurrency, objects and visualisation |
| | Enquiries about UKC Computing Laboratory publications should be made to: | | | booktitle = {Australian Computing Education Conference (ACE 2000)}, | | | In Australian Computing Education Conference (ACE 2000), pages 109-115, Melbourne, Australia, December 2000. |
|
http://www.cs.kent.ac.uk/pubs/2000/2186
(39 words)
|
|
| |
| | Computer Science - LANL Research Library |
| | The international journal of high performance computing applications | | | International journal of bifurcation and chaos in applied sciences and engineering |
|
http://library.lanl.gov/infores/compsci.htm
(141 words)
|
|
| |
| | The Directory of Computing Science Journals |
| | Acta Polytechnica Scandinavica, Mathematics and Computer Science Series | | | International Journal of Supercomputer Applications and High Performance Computing | | | C C++ CALGO CSCW CSE Canadian Categorical Categories Chicago Chinese Circuits Codes Cognition Cognitive Collaborative Collected Color Combinatorial Combinatorics Communication Communications Complex Complexity Computation Computational Computations Computer Computer-Aided Computer-Human Computer-Mediated Computers Computing Concurrency Constraints Construction Control Cooperative Cryptography Cryptologic Cryptology Currents Cybermetrics Cybernetics |
|
http://elib.cs.sfu.ca/Collections/CMPT/cs-journals
(573 words)
|
|
| |
| | Computer Science Department - Concurrency and Verification Lab |
| | Typically each graduate student can expect to have a personal workstation and access to large memory compute servers. | | | The Concurrency and Verification Lab conducts research in, and creates integrated toolsets for, the specification, simulation, verification, and implementation of concurrent systems such as communication protocols and process control systems. | | | Past accomplishments include the development of the Concurrency Factory, Concurrency Workbench and PIOATool tool suites; and the modeling and verification of real-life applications such as the Rether real-time ethernet protocol and the Java virtual machine meta-locking algorithm. |
|
http://www.cs.sunysb.edu/facilities/research/ConcurrencyAndVerification.html
(105 words)
|
|
|
