16190 search results - page 213 / 3238 » Applicative programming with effects |
126
Voted
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose signature-accelerated transactional memory (SigTM), a hybrid TM system that reduces the overhead of software transactions. SigTM uses hardware signatures to track the r...
136
Voted
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
144
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
A standing question in the field of Intelligent Tutoring Systems and User Modeling in general is what is the appropriate level of model granularity (how many skills to model) and h...
118
Voted
MICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
142
Voted
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
As we progress, society must intelligently address the following question: How much risk is acceptable? How we answer this question could have important consequences for the futur...