Sciweavers

794 search results - page 35 / 159
» Automatically Analyzing Software Processes: Experience Repor...
Sort
View
TREC
1996
15 years 1 months ago
ANU/ACSys TREC-5 Experiments
A number of experiments conducted within the framework of the TREC-5 conference and using the Parallel Document Retrieval Engine (PADRE) are reported. Several of the experiments i...
David Hawking, Paul B. Thistlewaite, Peter Bailey
97
Voted
DEXAW
2010
IEEE
151views Database» more  DEXAW 2010»
15 years 1 months ago
Students' Acceptance of Web 2.0 Technologies in Higher Education: Findings from a Survey in a Romanian University
This paper reports findings from a survey on students' attitude towards the use of Web 2.0 tools in a Romanian university. The purpose of the study is threefold: i) establish ...
Elvira Popescu
ENTCS
2002
139views more  ENTCS 2002»
15 years 9 days ago
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
110
Voted
ICPP
1997
IEEE
15 years 4 months ago
Automatic Parallelization and Scheduling of Programs on Multiprocessors using CASCH
r The lack of a versatile software tool for parallel program development has been one of the major obstacles for exploiting the potential of high-performance architectures. In this...
Ishfaq Ahmad, Yu-Kwong Kwok, Min-You Wu, Wei Shu
CSMR
2008
IEEE
15 years 7 months ago
A Flexible Framework to Support Collaborative Software Evolution Analysis
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...
Marco D'Ambros, Michele Lanza