Sciweavers

5600 search results - page 847 / 1120
» Evaluating affective interactions
Sort
View
SC
2000
ACM
15 years 11 months ago
Parallel Unsteady Turbo-Pump Simulations For Liquid Rocket Engines
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
Cetin C. Kiris, Dochan Kwak, William Chan
SIGCSE
2000
ACM
155views Education» more  SIGCSE 2000»
15 years 11 months ago
A study of common pitfalls in simple multi-threaded programs
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
Sung-Eun Choi, E. Christopher Lewis
ICFP
1999
ACM
15 years 11 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...
HICSS
1999
IEEE
98views Biometrics» more  HICSS 1999»
15 years 11 months ago
Collaborative Reputation Mechanisms in Electronic Marketplaces
The members of electronic communities are often unrelated to each other, they may have never met and have no information on each other's reputation. This kind of information ...
Giorgos Zacharia, Alexandros Moukas, Pattie Maes
WCRE
1999
IEEE
15 years 11 months ago
An Incremental Semi-Automatic Method for Component Recovery
Atomic components are sets of related variables, types, rograms, e.g., abstract data types and objects. Many techniques exist to detect them automatically. However, as an evaluati...
Rainer Koschke