Sciweavers

5465 search results - page 412 / 1093
» Assigning Types to Processes
Sort
View
ALT
2008
Springer
16 years 1 months ago
On-Line Probability, Complexity and Randomness
Abstract. Classical probability theory considers probability distributions that assign probabilities to all events (at least in the finite case). However, there are natural situat...
Alexey V. Chernov, Alexander Shen, Nikolai K. Vere...
LCTRTS
2007
Springer
15 years 11 months ago
Frequency-aware energy optimization for real-time periodic and aperiodic tasks
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
Xiliang Zhong, Cheng-Zhong Xu
SOFSEM
2007
Springer
15 years 11 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
MOBIDE
2006
ACM
15 years 11 months ago
Towards correcting input data errors probabilistically using integrity constraints
Mobile and pervasive applications frequently rely on devices such as RFID antennas or sensors (light, temperature, motion) to provide them information about the physical world. Th...
Nodira Khoussainova, Magdalena Balazinska, Dan Suc...
108
Voted
CSB
2005
IEEE
135views Bioinformatics» more  CSB 2005»
15 years 10 months ago
Relating transcription factors, modules of genes and cultivation conditions in Saccharomyces cerevisiae
Usually, the functionality of a module of co-expressed genes is derived from enrichment within the module of a particular gene annotation category. The systematic setup of the che...
Theo A. Knijnenburg, Marcel J. T. Reinders, J. M. ...