|
| |
| | Publications |
 | | Science of Computer Programming, 13(2-3):133 - 180, 1990. | | | Science of Computer Programming, 20:223 - 251, 1993. | | | Science of Computer Programming, 26:79 - 97, 1996. |
|
http://www.abo.fi/~backrj/publications.html
|
|
| |
| | Graduate Courses in Computer Science |
| | Computer Science I. An introduction to a high level programming language and basic data structures with a structured approach to problem solving, algorithmic analysis, and program development. | | | Major topics include soft computing, granular computing, knowledge discovery and data mining, distributed intelligent agents, etc. How to implement an actual intelligent system is also covered. | | | Models are applied with computational algorithms using a standard simulation language. |
|
http://www.cs.gsu.edu/courses/glistings.html
|
|
| |
| | Atomicity - Wikipedia, the free encyclopedia |
| | This article should be merged with Atomicity (computer science) | | | In the context of component-based paradigm, atomicity is an element of orthogonality guaranteeing hermetic interfaces among components of a component-based system. | | | This avoids that malfunctions in one component would result into side-effects in another. |
|
http://en.wikipedia.org/wiki/Atomicity
|
|
| |
| | IBFI Schloss Dagstuhl - Dagstuhl Seminar 06121 |
| | Atomicity is a ubiquitous concept in computer science and has been studied from many different angles. | | | The underlying purpose of Atomicity is to produce highly dependable, well architected, understandable, and verifiable computer systems or components. | | | Atomicity is fundamental in dealing with the complexity of modern systems. |
|
http://www.dagstuhl.de/06121
|
|
| |
| | Chicago Journal of Theoretical Computer Science |
| | The Chicago Journal of Theoretical Computer Science is a peer-reviewed scholarly journal in theoretical computer science. | | | Publisher: Department of Computer Science, The University of Chicago | | | The Isomorphism Problem for Read-Once Branching Programs and Arithmetic Circuits by Thomas Thierauf ( Special Issue on Computational Complexity from the 1996 Dagstuhl-Seminar, Eric Allender editor), 10 March 1998. |
|
http://www.cs.uchicago.edu/publications/cjtcs/
|
|
| |
| | Guide To Technical Schools - Directory of leading Computer Schools and Information Technology Degree Programs |
| | Computer Learning Network, located in Mechanicsburg, offers certificate programs for careers in Computers and Healthcare. | | | Computer Learning Network, located in Altoona, PA, offers certificate programs for careers in Computers and Healthcare. | | | Computer Career Institute at Johns Hopkins University, located in Maryland, offers industry-leading Professional Training programs in Healthcare, Information Technology, and Graphic Design. |
|
http://GuideToTechnicalSchools.com
|
|
| |
| | Theoretical Computer Science |
| | 335--342 Wojciech Rytter Context-free recognition via shortest paths computation: a version of Valiant's algorithm. | | | 163--173 Birgit Jenner and Jacobo Torán Computing functions with parallel queries to NP. | | | Table of contents for issues of Theoretical Computer Science |
|
http://www.math.utah.edu/pub/tex/bib/toc/tcs1995.html
|
|
| |
| | Computation Structures Group- www.csg.lcs.mit.edu |
| | In Encyclopedia of Computer Science and Technology, A. Kent and J.G. Williams(eds.),Vol.38,pp.287-314, Marcel Dekker, Inc., 1998. | | | Speeding up Exponentiation using an Untrusted Computational Resource | | | In Proceedings of Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993. |
|
http://www.csg.lcs.mit.edu/pubs/?view=research&var=Architecture
|
|
| |
| | Abstracts |
| | Computing Natural Language pursues the recent upsurge of research along the interface of logic, language, and computation, with applications to artificial intelligence and machine learning. | | | Report CS-R8624, Centre for Mathematics and Computer Science, Amsterdam 1986). | | | A wide range of logical and computational tools are employed, and applied to such varied areas as context-dependency, linguistic discourse, and formal grammar. |
|
http://theory.stanford.edu/~rvg/abstracts.html
|
|
| |
| | SuperTech Home Page |
| | The group also is studying adaptive computing, race detection, cache-oblivious algorithms, and distance-education technologies. | | | Cilk (pronounced ''silk'') is a C-based, multithreaded language for parallel programming being developed at the MIT Computer Science and Artificial Intelligence Laboratory (CSAIL). | | | We are researching the application of computer technology to distance education, especially with regard to user interface, automation and scalability. |
|
http://supertech.lcs.mit.edu/
|
|
| |
| | WPI CS TECHNICAL REPORTS |
| | 1999 Computer Science Department {MQP} Review (August 1999). | | | Year 2001 Computer Science Department {MQP} Review (Sept 2001). | | | 1993 Computer Science Department MQP Review (August 1993). |
|
http://www.cs.wpi.edu/Resources/techreports/
|
|
| |
| | Caltech Computer Science Technical Reports - Affinity: A Concurrent Programming System for Multicomputers |
| | Although the programmer is required to formulate a computational problem explicitly into medium-sized pieces of data and code, most of the additional functions necessary for concurrent execution are implicit. | | | Affinity programs can compute consistent and correct results despite staleness of data, and asynchrony and nondeterminism in execution of code. | | | Existing programming complexity-management techniques such as object-oriented languages can be used in this multicomputer environment. |
|
http://caltechcstr.library.caltech.edu/archive/00000103/
|
|
| |
| | Computer> Database [encyclopedia] |
| | Databases are used in many applications, spanning virtually the entire range of computer software. | | | 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 | | | The Code Book: The Science of Secrecy from Ancient... |
|
http://kosmoi.com/Computer/Database/
|
|
| |
| | UVA Computer Science: Colloquia |
| | Randy Pausch is an Associate Professor of Computer Science, Human-Computer Interaction, and Design at Carnegie Mellon, where he is the co-director of CMU's Entertainment Technology Center (ETC). | | | John Thornley is currently a research scientist in Computer Science at Caltech, working on structured methods for multithreaded programming of shared-memory multiprocessors. | | | Andrea C. Arpaci-Dusseau received her B.S. in Computer Engineering from Carnegie Mellon University in 1991, and her M.S. in Computer Science from University of California, Berkeley in 1994. |
|
http://www.cs.virginia.edu/colloquia/oldcolloquia99.html
|
|
| |
| | COMPUTER SCIENCE DEPARTMENT |
| | Parallel computation is a well-established and essential tool for large-scale scientific computing. | | | “Computer Science Majors Talk about Their Summer Work Experiences” | | | Professor Bailey is continuing his investigation of computer science problems relating to the mechanics of genetics and molecular biology. |
|
http://www.williams.edu/go/sciencecenter/center/RS03html/RepSci2003fnl-COMPUTER.html
|
|
| |
| | Challengelist |
| | Currently, theoretical exploration of quantum computation is both motivating and clarifying the requirements for the possible construction of quantum computers. | | | If science is the search for the fundamental principles that govern the world around us and explain the phenomena we see, then a case can be made that Theoretical Computer Science (TCS) is the ``science'' underlying the field of computing. | | | However, even as computer memories become cheaper and multiprocessor machines become larger and faster, our desire for larger and more sophisticated astronomical simulations outstrips them and new algorithms and data structures appear to be required, ones that can be tuned to exploit the computer architecture that is to be used for the simulation. |
|
http://www.research.att.com/~dsj/nsflist.html
|
|
| |
| | Computer Science courses 2004-05 |
| | This course is concerned with high performance computation through the use of multiple processors executing in parallel (parallel computing). | | | This course is an introduction to computer architecture and systems software. | | | Also, we will show the close connection between computation and logic, in particular how the halting problem for Turing machines is reducible to the validity problem in predicate calculus. |
|
http://www.qmw.ac.uk/~codir/ThisYear/CompSci.html
|
|
| |
| | LGL - Stable Storage |
| | Jörg Kienzle, " Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming ", Ph.D. Thesis, no 2393, Swiss Federal Institute of Technology Lausanne, Software Engineering Laboratory, Computer Science Departement, EPFL, 1015 Lausanne, Switzerland, 2001. | | | Such a storage unit offers two operations to the user, Write and Read, which can be used to store and retrieve user data to and from stable storage. | | | For example, the Ralston Encyclopedia of Computer Science says: "Another recent trend is to duplicate data to enhance reliability. |
|
http://lgl.epfl.ch/research/ongoing/stable_storage.html
|
|
| |
| | IBM Research - Computer Science - Seminars |
| | He received his Ph.D. degree in Computer Science from Stanford University in 2001, and his M.S. degree and B.S. degree, both in Computer Science, from Tsinghua University, China, in 1996 and 1994, respectively. | | | Head of the Distributed Systems and Service Oriented Computing research program at DIT, his current research interests are in the area of service-oriented computing and distributed systems. | | | Jeff holds a Bachelor's Degree in Computer Science from the American University and has done graduate work in Computer Science at the George Washington University. |
|
http://www.research.ibm.com/compsci/web/seminars.html
|
|
| |
| | Technical Reports, Computer Science, UCSB |
| | Scheduling Coarse-Grain Iterative Task Computation on Message-Passing Architectures | | | Heuristic Algorithms for Scheduling Iterative Task Computations on Distributed Memory Machines | | | If you would like to contribute to this list, and you are a member of the UCSB Computer Science faculty, please see the instructions on |
|
http://www.cs.ucsb.edu/research/trcs/index.shtml
|
|
| |
| | UVA Computer Science: Technical Reports |
| | Abstract: Detailed execution-driven simulation is an important tool for computer architecture research. | | | We evaluate the potential of a new theory-developed to account for the influence of modularity on the evolution of the computer industry-to inform software design. | | | It is efficient because it stores computations discarded in publication forwarding, later applying them to channel replies. |
|
http://www.cs.virginia.edu/trs/
|
|
| |
| | Simple Index Keyword Search of Unified Computer Science TR Index |
| | The design and simulations were performed using Mentor Graphics Computer Aided Design (CAD) tools on Apollo workstations. | | | The amount of circuitry to implement a communication component is computed, and it is seen that the proposed communication component could be complemented with technology available today. | | | This implementation features a transparent load balancing scheme to exploit the computation power of networked workstations, an atomicity-guarantee mechanism to preserve the high-level task abstraction. |
|
http://www.mat.uc.pt/~rps/papers/rout_vlsi.html
|
|
| |
| | Lecture Notes in Computer Science |
| | Table of contents for issues of Lecture Notes in Computer Science | | | 96 E. Nawarecki and G. Dobrowolski Decentralized Computer Learning Systems Based on Autonomous Agent Approach. | | | F. Pichler and H. Schwaertzel and R. Moreno-Diaz Systems Science and Systems Technology: From Conceptual Framework to Applicable Solutions. |
|
http://www.math.utah.edu/ftp/pub/tex/bib/toc/lncs1996b.html
|
|
| |
| | Scott Stoller's Publications |
| | An extended version is available as: Indiana University, Computer Science Dept., Technical Report 504, February 1998. | | | An extended version is available as: Indiana University, Computer Science Dept., Technical Report 477, March 1997. | | | An extended version appeared as Indiana University, Computer Science Dept., Technical Report 537, February 2000 (revised April 2001). |
|
http://www.cs.sunysb.edu/~stoller/publications.html
|
|
| |
| | MASTER OF SCIENCE IN COMPUTER SCIENCE |
| | The course provides one year intensive training in computing science. | | | Design of multimedia systems: software architecture, hardware architecture, managing multimedia projects. | | | The underlying technologies: the physics of images and sounds, their capture into the computer system. |
|
http://www.wcc.co.uk/msc_cs.htm
|
|
| |
| | Computer Science Innovations |
| | You need to know where yours is located on your computer, so we will search for it. | | | This means that if there is some type of failure, even if the computer crashes, the transaction can be rolled back or committee. | | | This means that if there is some type of failure, even if the computer crashes, the transaction can be rolled back or committed. |
|
http://www.csihq.com/CSI/test2.shtml
|
|
| |
| | SCS Doctoral Theses |
| | Keywords: Probabilistic computation, Markov chains, constrained optimization, counting problems, statistical computing | | | Keywords: Computer science, artificial intelligence, interactive drama, interactive story, interactive fiction, interactive art, interactive entertainment, abstract adversary search, memoized search, sampled search, sampling search, SAS, SAS+, MFC, MMFC, aesthetic evaluation function, user experience, Oz Project | | | Keywords: Theoretical computer science, artificial intelligence, computational learning theory, machine learning, algorithms fourier analysis, perceptrons, classification learning, rule extraction, boolean circuits, disjunction normal form (DNF), threshold of parities (TOP), hypothesis boosting, harmonic sieve |
|
http://www.cs.cmu.edu/~alumni/Theses.html
|
|
| |
| | Computer Science Department - File Not Found |
| | Sorry, the page you tried to access is no longer available on the Computer Science Department Web site. | | | You can use the site map, search the Computer Science Department site or return to the home page. | | | If the broken link was from anywhere OUTSIDE the Computer Science Department Web site, please tell the Webmaster of the referring site and ask for the link to be corrected. |
|
http://www.cs.sunysb.edu/undergrad/cse_courses/cse315.html
|
|
| |
| | Professor John Kubiatowicz's Publications |
| | Master's thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, February 1993. | | | PdD thesis, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, February 1998. | | | Asymptotically Efficient Approaches to Fault-Tolerance in Peer-to-Peer Networks, Appears in Proceedings of 17th International Symposium on Distributed Computing, October 2003. |
|
http://www.cs.berkeley.edu/~kubitron/papers/
|
|
| |
| | COMPUTER SCIENCE TECHNICAL REPORT ABSTRACTS |
| | Most pessimistic mechanisms for implementing atomicity in distributed systems fall into three broad categories: two-phase locking schemes, timestamping schemes, and hybrid schemes employing both locking and timestamps. | | | This comparison shows that hybrid schemes impose weaker constraints on availability then timestamping schemes, and locking schemes impose constraints incomparable to those of the others. | | | Because hybrid schemes permit more concurrency than locking schemes, these results suggest that hybrid schemes are preferable to the others for ensuring atomicity in highly available and highly concurrent distributed systems. |
|
http://reports-archive.adm.cs.cmu.edu/anon/1985/abstracts/85-123.html
|
|
| |
| | Ian G. Clark ... *Sparks* <>< |
| | Sight and Sound Technology - Computer Solutions for the Blind and the Visually Impaired. | | | Find the right RAM for your computer in just three clicks. | | | Blue Chip Technology - Industrial and Embedded PC solutions, plus single board computers |
|
http://www.iangclark.net/comp.html
|
|
| |
| | Computer Science Series (ResearchIndex) |
| | @misc{ institute-computer, author = "Worcester Polytechnic Institute", title = "Computer Science Series", url = "citeseer.ist.psu.edu/315851.html" } | | | Abstract: Awork#ow management systems #WFMS# employs a work#ow manager #WM# to execute and automate the various activities within a work#ow. | | | Wpicstr962 September 1996 A 3level Atomicity Model for Decentralized Workow... |
|
http://citeseer.ist.psu.edu/315851.html
|
|
| |
| | Theoretical Computer Science, Volume 59 |
| | Wojciech Rytter : On Efficient Parallel Computations for some Dynamic Programming Problems. | | | Gérard Boudol, Ilaria Castellani : Concurrency and Atomicity. |
|
http://www.informatik.uni-trier.de/~ley/db/journals/tcs/tcs59.html
|
|
| |
| | Computer Science Technical Report 1993-17 |
| | Our approach is widely applicable to many advanced database applications such as systems with long-lived transactions and collaborative environments. | | | The proposed approach improves concurrency and allows interleavings among transactions which are non-serializable, but which nonetheless preserve the consistency of the database and are acceptable to the users. | | | We use the semantic information of a transaction to provide different atomicity views of the transaction to other transactions. |
|
http://www.cs.ucsb.edu/research/trcs/abstracts/1993-17.shtml
|
|
| |
| | Brown Computer Science: cs296-1: Spring 2003 |
| | I will run the course in seminar format, expecting students to complete readings, presentations and, possibly, also programming or tool evaluation projects. | | | Types for Atomic Interfaces (email from Dave Tucker) | | | Types for Atomicity (Tucker/Wicks, Jan 29) - scribe notes (internal access only) |
|
http://www.cs.brown.edu/courses/cs296-1/2003/
|
|
| |
| | Turku Centre for Computer Science - TUCS |
| | The proof rules we develop are compositional so that modular refinement of action systems is supported. | | | Keywords: remote procedures, action systems, distributed systems, data refinement, atomicity refinement | | | As an example we will especially study the atomicity refinement of actions. |
|
http://www.tucs.fi/publications/techreports/TR115.php
|
|
| |
| | Theoretical Computer Science, Volume 149 |
| | Context-Specific Synchronization for Atomic Data Types in Object-Based Databases. | | | On Interprocess Communication and the Implementation of Multi-Writer Atomic Registers. |
|
http://www.informatik.uni-trier.de/~ley/db/journals/tcs/tcs149.html
|
|
| |
| | Atomicity / Distance Learning |
| | Why not ZIP to one of the newest and most relevant search engines on the Internet and find exactly what you are looking for and more? | | | Find information about Atomicity in the Free Online Encyclopedia | | | Get new friends every day, add your profile now at Chat112.Com |
|
http://atomicity.onemoment.ru/
|
|
|
