 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
The Technion - Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (including for cache consistency), self-stabilization and fault-tolerance, formal specification methods.
Sponsored Links:
|
| URL: |
http://www.cs.technion.ac.il/~katz/
|
| Title: |
Shmuel Katz's Home Page |
| Description: |
Computers, Computer Science, People, K - Katz, Shmuel. The Technion - Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (including for cache consistency), self-stabilization and fault-tolerance, formal specification methods. |
| Specialized in: |
|
|
 |
|
 |
Kleinrock, Leonard (Popularity: ): Inventor of the internet technology packet switching. Has published more than 200 papers and authored six books on a wide ...
Kumar, Anshul (Popularity: ): Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
Keller, Bill (Popularity: ): University of Sussex at Brighton - Formal foundations and computational properties of formalisms in computational linguistics, application of machine learning ...
Khardon, Roni (Popularity: ): University of Edinburgh - Computational learning theory, knowledge representation and reasoning, efficient algorithms .
Keller, Arthur (Popularity: ): Stanford University - Electronic commerce, interoperability of heterogeneous databases, database integration, object-oriented databases, database implementation, databases on parallel computers, federated ...
Kemerer, Chris F. (Popularity: ): University of Pittsburgh - David Roderick Chair in Information Systems. Management and measurement issues in information systems and software engineering.
Kapoor, Sanjiv (Popularity: ): Indian Institute of Technology, Delhi - Computational Geometry, Graph Algorithms, Combinatorial Optimization, Graphics, Data Structures
Kaushik, Saroj (Popularity: ): Indian Institute of Technology, Delhi - Artificial Intelligence, Natural Language Processing, Knowledge Based Systems, Computer Assisted Learning and Teaching
Krasavin, Konstantin (Popularity: ): University of Joensuu - graduate student in Information Technology.
Konstantin Krasavin received his MSc in mathematics from the University of St.Petersburg ...
Kumar, Piyush (Popularity: ): Indian Institute of Technology - Undergraduate, especially interested in computational geometry, computer graphics and algorithms.
|
 |
Popular Sites |
 |
Kleinrock, Leonard (Popularity: ): Inventor of the internet technology packet switching. Has published more than 200 papers and authored six books on a wide ...
Keller, Bill (Popularity: ): University of Sussex at Brighton - Formal foundations and computational properties of formalisms in computational linguistics, application of machine learning ...
Kemerer, Chris F. (Popularity: ): University of Pittsburgh - David Roderick Chair in Information Systems. Management and measurement issues in information systems and software engineering.
Keller, Arthur (Popularity: ): Stanford University - Electronic commerce, interoperability of heterogeneous databases, database integration, object-oriented databases, database implementation, databases on parallel computers, federated ...
Kapoor, Sanjiv (Popularity: ): Indian Institute of Technology, Delhi - Computational Geometry, Graph Algorithms, Combinatorial Optimization, Graphics, Data Structures
|
 |
Related Press |
 |
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity: ): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity: ): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List
MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) – HyperGrowthStocks.com is pleased ...
BMO Financial Group Announces Agreement to Acquire the Diners Club North American Franchise From Citigroup (Popularity: ): Gives BMO exclusive rights to issue Diners Club cards in North America;
clients will benefit from worldwide acceptance and ability ...
Infant Entrapment and Suffocation Prompts Stork Craft to Recall More Than 2.1 Million Drop-Side Cribs (Popularity: ): The U.S. Consumer Product Safety Commission (CPSC), in cooperation with Stork Craft Manufacturing Inc., of British Columbia, Canada, today announced ...
|
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|