Sciweavers

6650 search results - page 999 / 1330
» models 2009
Sort
View
CHI
2009
ACM
16 years 7 months ago
Tailoring websites to increase contributions to online communities
Many online communities experience insufficient contributions from their members. In order to encourage contributions to the community, we examined a website tailoring approach to...
Min Kyung Lee, Tawanna Dillahunt, Bryan A. Pendlet...
164
Voted
SIGCSE
2009
ACM
107views Education» more  SIGCSE 2009»
16 years 7 months ago
Foss 101: engaging introductory students in the open source movement
Can engaging students in free and open source software (FOSS) pique their interest in computer science? This paper describes an introductory computer science course that introduce...
Ralph Morelli, Trishan R. de Lanerolle
COORDINATION
2009
Springer
16 years 7 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
COORDINATION
2009
Springer
16 years 7 months ago
High-Performance Transactional Event Processing
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
Antonio Cunei, Rachid Guerraoui, Jesper Honig Spri...
PPOPP
2009
ACM
16 years 7 months ago
Exploiting global optimizations for openmp programs in the openuh compiler
The advent of new parallel architectures has increased the need for parallel optimizing compilers to assist developers in creating efficient code. OpenUH is a state-of-the-art opt...
Lei Huang, Deepak Eachempati, Marcus W. Hervey, Ba...