570 search results - page 83 / 114 » Constructing reconfigurable software for machine control sys... |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Recent Microsoft security bulletins show that kernel vulnerabilities are becoming more and more important security threats. Despite the pretty extensive security mitigations many ...
SYSTOR
2009
ACM
14 years 2 months ago
2009
ACM
Apache is a large-scale industrial multi-process and multithreaded application, which uses lock-based synchronization. We report on our experience in modifying Apache’s cache mo...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
FAST
2009
13 years 5 months ago
2009
Rapid adoption of virtualization technologies has led to increased utilization of physical resources, which are multiplexed among numerous workloads with varying demands and impor...
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both func...