Sciweavers

1077 search results - page 73 / 216
» Introducing Software Engineering by means of Extreme Program...
Sort
View
SAC
2010
ACM
15 years 11 months ago
Software transactional memory for implicitly parallel functional language
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...
Petr Krajca, Vilém Vychodil
POPL
2008
ACM
16 years 4 months ago
Formal verification of translation validators: a case study on instruction scheduling optimizations
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
Jean-Baptiste Tristan, Xavier Leroy
WWW
2008
ACM
16 years 5 months ago
Characterizing typical and atypical user sessions in clickstreams
Millions of users retrieve information from the Internet using search engines. Mining these user sessions can provide valuable information about the quality of user experience and...
Narayanan Sadagopan, Jie Li
CISIS
2010
IEEE
15 years 9 months ago
Study of Variations of Native Program Execution Times on Multi-Core Architectures
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Bar...
EUROSPI
2004
Springer
15 years 9 months ago
On-Site Customer in an XP Project: Empirical Results from a Case Study
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...
Juha Koskela, Pekka Abrahamsson