Sciweavers

326 search results - page 9 / 66
» Automatic application specific floating-point unit generatio...
Sort
View
IJCAI
2007
14 years 11 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss
ISSS
1999
IEEE
120views Hardware» more  ISSS 1999»
15 years 1 months ago
RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions
Abstract--Reservation Tables (RTs) have long been used to detect conflicts between operations that simultaneously access the same architectural resource. Traditionally, these RTs h...
Peter Grun, Ashok Halambi, Nikil D. Dutt, Alexandr...
SPLC
2004
14 years 11 months ago
Automatic Generation of Program Families by Model Restrictions
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
Andrzej Wesowski
USS
2008
14 years 12 months ago
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
Michael C. Martin, Monica S. Lam
ICMCS
2000
IEEE
98views Multimedia» more  ICMCS 2000»
15 years 2 months ago
Automatic Image Event Segmentation and Quality Screening for Albuming Applications
In this paper, a system for automatic albuming of consumer photographs is described, and its specific core components of event segmentation and screening of low quality images are...
Alexander C. Loui, Andreas E. Savakis