Sciweavers

1453 search results - page 207 / 291
» State and history in operating systems
Sort
View
101
Voted
GLVLSI
2009
IEEE
112views VLSI» more  GLVLSI 2009»
15 years 7 months ago
The effect of design parameters on single-event upset sensitivity of MOS current mode logic
In this paper, we describe and discuss the effects of design parameters such as transistor size, output voltage swing and bias current on radiation sensitivity of MOS current mode...
Mahta Haghi, Jeff Draper
94
Voted
CAISE
2009
Springer
15 years 7 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez
CMSB
2009
Springer
15 years 7 months ago
Equivalence and Discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
Vashti Galpin, Jane Hillston
98
Voted
ICCCN
2008
IEEE
15 years 7 months ago
Massively Parallel Anomaly Detection in Online Network Measurement
—Detecting anomalies during the operation of a network is an important aspect of network management and security. Recent development of high-performance embedded processing syste...
Shashank Shanbhag, Tilman Wolf
78
Voted
ICPR
2008
IEEE
15 years 7 months ago
Intelligence computing approach for seizure detection based on intracranial electroencephalogram (IEEG)
Epilepsy is a neurological disorder which causes two million people in the United States for suffering. In this research, we proposed a seizure detection method based on intracran...
Tsu-Wang Shen, Xavier Kuo, Chung-Shan Yu