Sciweavers

12084 search results - page 34 / 2417
» Effect Systems with Subtyping
Sort
View
OOPSLA
2009
Springer
14 years 2 months ago
A type and effect system for deterministic parallel Java
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig,...
DATE
2008
IEEE
112views Hardware» more  DATE 2008»
14 years 2 months ago
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
Jonas Elmqvist, Simin Nadjm-Tehrani
ICALT
2009
IEEE
13 years 11 months ago
The G-Math Peer-Tutoring System for Supporting Effectively Remedial Instruction for Elementary Students
This study proposed the multi-user G-Math PeerTutoring System for facilitating students' tutoring strategies in math learning in the remedial instruction. The G-Math Peer-Tut...
Mengping Tsuei
LREC
2010
123views Education» more  LREC 2010»
13 years 9 months ago
Examining the Effects of Rephrasing User Input on Two Mobile Spoken Language Systems
In this work we investigate the effects of rephrasing the user's input on two mobile spoken dialogue systems. We argue that for specific kinds of applications it's impor...
Nikos Tsourakis, Agnes Lisowska, Manny Rayner, Pie...
ICPR
2008
IEEE
14 years 9 months ago
Segmentation robust to the vignette effect for machine vision systems
The vignette effect (radial fall-off) is commonly encountered in images obtained through certain image acquisition setups and can seriously hinder automatic analysis processes. In...
Dimosthenis Karatzas, Marçal Rusiñol...