Sciweavers

24 search results - page 1 / 5
» The Power of 10: Rules for Developing Safety-Critical Code
Sort
View
DFT
2000
IEEE
119views VLSI» more  DFT 2000»
13 years 9 months ago
An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications
1 Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting ...
Maurizio Rebaudengo, Matteo Sonza Reorda, Marco To...
ACMSE
2007
ACM
13 years 8 months ago
Finding association rules of cis-regulatory elements involved in alternative splicing
Alternative splicing (AS) is a major mechanism to generate protein diversity. A single gene might generate hundreds or even thousands of different proteins. Recently, powerful lar...
Jihye Kim, Sihui Zhao, Steffen Heber
DAC
2009
ACM
14 years 5 months ago
Power modeling of graphical user interfaces on OLED displays
Emerging organic light-emitting diode (OLED)-based displays obviate external lighting; and consume drastically different power when displaying different colors, due to their emiss...
Mian Dong, Yung-Seok Kevin Choi, Lin Zhong
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
13 years 10 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...