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.


Home		Set as Homepage		Add to Favorite		Contact

27 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Computers » Computer Science » People » K	UPDATE INFO \| REPORT BROKEN LINK
Katz, Shmuel	Popularity: Hit: 60

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:

): 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

Best Manufacturer of Ayurvedic and Herbal Medicines (Popularity:

): At PADMAVATI we commit to make nature�s best and precious life sustaining herbal medicines to heal body problems. Our Research ...
Mobile Web Design � What Are The Benefits Of The Concept? (Popularity:

): The World Wide Web is a haven for information. People log on to the Internet to find information, interact with ...
How to Start an Export Import Business (Popularity:

): To start your own export import business, it is very important to know the commodity you want to trade. Once ...
Interval Training and Super Set Training For Fat Loss (Popularity:

): Losing weight can be a difficult challenge for a lot of people. Weight loss is something that should not be ...
Give Your Home a Touch of High-Gloss Glamour (Popularity:

): Without any doubt High-Gloss Dining furniture is the most featured and attractive design styles of this year. High-Gloss is the ...