Sciweavers

1760 search results - page 37 / 352
» A System to Mark Programs Automatically
Sort
View
POPL
2008
ACM
14 years 9 months ago
Semantics of transactional memory and automatic mutual exclusion
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
Andrew Birrell, Martín Abadi, Michael Isard...
ITC
1991
IEEE
80views Hardware» more  ITC 1991»
14 years 12 days ago
An Intelligent Approach to Automatic Test Equipment
In diagnosing a failed system, a smart technician would choose tests to be performed based on the context of the situation. Currently, test program sets do not fault-. isolate wit...
William R. Simpson, John W. Sheppard
CSMR
2008
IEEE
14 years 3 months ago
Automatic Support for the Migration Towards Aspects
Aspect Oriented Programming (AOP) has been proposed as a new programming paradigm. The originality in AOP is the aspect, a single modularization unit for all those functionalities...
Mariano Ceccato
CONTEXT
2003
Springer
14 years 2 months ago
GRAVA: An Architecture Supporting Automatic Context Transitions and Its Application to Robust Computer Vision
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
Paul Robertson, Robert Laddaga
INTERSPEECH
2010
13 years 3 months ago
Automatic speech recognition for assistive writing in speech supplemented word prediction
This paper describes a system for assistive writing, the Speech Supplemented Word Prediction Program (SSWPP). This system uses the first letter of a word typed by the user as well...
John-Paul Hosom, Tom Jakobs, Allen Baker, Susan Fa...