Sciweavers

3827 search results - page 627 / 766
» The Epsilon Generation Language
Sort
View
DATE
2009
IEEE
122views Hardware» more  DATE 2009»
14 years 5 months ago
A MILP-based approach to path sensitization of embedded software
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
José C. Costa, José C. Monteiro
DATE
2009
IEEE
176views Hardware» more  DATE 2009»
14 years 5 months ago
Automated synthesis of streaming C applications to process networks in hardware
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
Sven van Haastregt, Bart Kienhuis
DSN
2009
IEEE
14 years 5 months ago
LFI: A practical and general library-level fault injector
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
Paul Dan Marinescu, George Candea
EDOC
2009
IEEE
14 years 5 months ago
An End-to-End Approach for QoS-Aware Service Composition
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
Florian Rosenberg, Predrag Celikovic, Anton Michlm...
ICDAR
2009
IEEE
14 years 5 months ago
Segmentation of Arabic Handwriting Based on both Contour and Skeleton Segmentation
We propose a new algorithm for segmentation of off-line handwritten Arabic words. The algorithm segments the connected letters to smaller segments each of which contains no more t...
Safwan Wshah, Zhixin Shi, Venu Govindaraju