Sciweavers

211 search results - page 36 / 43
» Safe Automotive Software Development
Sort
View
KBSE
2008
IEEE
14 years 4 months ago
Generic Patch Inference
—A key issue in maintaining Linux device drivers is the need to update drivers in response to evolutions in Linux internal libraries. Currently, there is little tool support for ...
Jesper Andersen, Julia L. Lawall
JSS
1998
139views more  JSS 1998»
13 years 9 months ago
Human-computer interaction: Interdisciplinary roots and trends
Methodology, theory, and practice in the ®eld of Human±Computer Interaction (HCI) all share the goal of producing interactive software that can be used eciently, e€ectively, ...
H. Rex Hartson
CP
2008
Springer
13 years 11 months ago
A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...
Luca Benini, Michele Lombardi, Michela Milano, Mar...
SIGSOFT
2008
ACM
14 years 10 months ago
Marple: a demand-driven path-sensitive buffer overflow detector
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
Wei Le, Mary Lou Soffa
TASE
2010
IEEE
13 years 4 months ago
Product Sequencing With Respect to Quality in Flexible Manufacturing Systems With Batch Operations
Abstract--In many flexible manufacturing systems, batch production is often adopted to improve product quality. For example, in automotive paint shops, vehicles with same colors ar...
Junwen Wang, Jingshan Li, Jorge Arinez, Stephan Bi...