Sciweavers

854 search results - page 119 / 171
» Potential continuity of colorings
Sort
View
CONCUR
2008
Springer
15 years 8 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink
ISLPED
2007
ACM
84views Hardware» more  ISLPED 2007»
15 years 7 months ago
Towards a software approach to mitigate voltage emergencies
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...
Meeta Sharma Gupta, Krishna K. Rangan, Michael D. ...
LREC
2008
93views Education» more  LREC 2008»
15 years 7 months ago
First Broadcast News Transcription System for Khmer Language
In this paper we present an overview on the development of a large vocabulary continuous speech recognition (LVCSR) system for Khmer, the official language of Cambodia, spoken by ...
Sopheap Seng, Sethserey Sam, Laurent Besacier, Bri...
SIGSAND
2008
15 years 7 months ago
Design of Fractal-Based Systems Within MDA: Platform Independent Modelling
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
Erika Asnina, Janis Osis, Marite Kirikova
AVI
2004
15 years 7 months ago
Display space usage and window management operation comparisons between single monitor and multiple monitor users
The continuing trend toward greater processing power, larger storage, and in particular increased display surface by using multiple monitor supports increased multi-tasking by the...
Dugald Ralph Hutchings, Greg Smith, Brian Meyers, ...