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»
14 years 3 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
14 years 2 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 12 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»
14 years 4 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...