Sciweavers

15155 search results - page 375 / 3031
» System Software
Sort
View
CODES
2010
IEEE
15 years 4 months ago
Automatic parallelization of embedded software using hierarchical task graphs and integer linear programming
The last years have shown that there is no way to disregard the advantages provided by multiprocessor System-on-Chip (MPSoC) architectures in the embedded systems domain. Using mu...
Daniel Cordes, Peter Marwedel, Arindam Mallik
SOSP
2009
ACM
16 years 3 months ago
Fast byte-granularity software fault isolation
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
Miguel Castro, Manuel Costa, Jean-Philippe Martin,...
DLOG
2004
15 years 8 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
185
Voted
APVIS
2008
15 years 8 months ago
StarGate: A Unified, Interactive Visualization of Software Projects
With the success of open source software projects, such as Apache and Mozilla, comes the opportunity to study the development process. In this paper, we present StarGate: a novel ...
Kwan-Liu Ma
VAMOS
2010
Springer
15 years 8 months ago
Automating the Configuration of Multi Software Product Lines
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
Marko Rosenmüller, Norbert Siegmund