Software Engineering

Memory models like SC, TSO, and PC enforce load-load ordering, requiring that loads from any single thread appear to occur in program order to all other threads. Out-of-order execu...

A. Hilton, A. Roth

claim paper

Read More »

17

click to vote

BC
2010

83views more BC 2010»

Effects of phase on homeostatic spike rates

13 years 4 months ago

Download www.neurology.peds.ufl.edu

Nicholas Fisher, Sachin S. Talathi, Paul R. Carney...

claim paper

Read More »

24

click to vote

AROBOTS
2010

126views more AROBOTS 2010»

Exploiting social partners in robot learning

13 years 4 months ago

Download www.cc.gatech.edu

Social learning in robotics has largely focused on imitation learning. Here we take a broader view and are interested in the multifaceted ways that a social partner can influence t...

Maya Cakmak, Nicholas DePalma, Rosa I. Arriaga, An...

claim paper

Read More »

29

click to vote

INFSOF
2010

146views more INFSOF 2010»

Links between the personalities, views and attitudes of software engineers

13 years 5 months ago

Download www.cse.chalmers.se

Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....

Robert Feldt, Lefteris Angelis, Richard Torkar, Ma...

claim paper

Read More »

25

click to vote

ICSE
2010
IEEE-ACM

140views Software Engineering» more ICSE 2010»

Capturing the long-term impact of changes

13 years 5 months ago

Download www.st.cs.uni-saarland.de

Developers change source code to add new functionality, fix bugs, or refactor their code. Many of these changes have immediate impact on quality or stability. However, some impact...

Kim Sebastian Herzig

claim paper

Read More »

25

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

13 years 5 months ago

Download www.sutd.edu.sg

Jun Sun 0001, Songzheng Song, Yang Liu 0003

claim paper