413 search results - page 2 / 83 » A formalism for functionality preserving system level transf... |
IAJIT
2010
13 years 4 months ago
2010
: Transformation functions utilizing the global information content of an input image have been long serving contrast enhancement by stretching the dynamic range of intensity level...
INFOCOM
2006
IEEE
14 years 3 days ago
2006
IEEE
— In this paper, we propose a simulation framework, TranSim, that reduces the rate at which packet-events are generated, in order to accelerate large-scale simulation of IP netwo...
SNPD
2003
13 years 7 months ago
2003
In particular for safety critical systems it is necessary to make sure that the non-functional properties imposed by a system architecture meet the corresponding requirements as e...
RTCSA
2008
IEEE
14 years 13 days ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
ICCD
2000
IEEE
13 years 9 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...