Sciweavers

507 search results - page 46 / 102
» Web-R: a Tool to Record
Sort
View
GROUP
1997
ACM
14 years 7 days ago
The CDT mStar environment: scalable distributed teamwork in action
This paper presents the mStar environment, which creates an environment for truly scalable distributed teamwork. It can be and is being used on a daily basis for electronic meetin...
Peter Parnes, Kåre Synnes, Dick Schefstr&oum...
LCPC
1994
Springer
14 years 4 days ago
Optimizing Array Distributions in Data-Parallel Programs
Data parallel programs are sensitive to the distribution of data across processor nodes. We formulate the reduction of inter-node communication as an optimization on a colored gra...
Krishna Kunchithapadam, Barton P. Miller
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
13 years 12 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
DAS
2006
Springer
13 years 11 months ago
Exploratory Analysis System for Semi-structured Engineering Logs
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...
Michael Flaster, Bruce Hillyer, Tin Kam Ho
SBIA
2000
Springer
13 years 11 months ago
User profiling with Case-Based Reasoning and Bayesian Networks
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...
Silvia N. Schiaffino, Analía Amandi