289 search results - page 53 / 58 » Production Scheduling by Reachability Analysis - A Case Stud... |
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we1 study new organizational forms for production processes that emerge in large scale Free/Libre Open Source Software (FLOSS) projects. We will focus on the textua...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
The increasing availability and deployment of open source software in personal and commercial environments makes open source software highly appealing for hackers, and others who ...
GG
2004
Springer
14 years 1 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
SIGDOC
2003
ACM
14 years 1 months ago
2003
ACM
In this paper, I discuss how we made single-sourcing work at Juniper Networks. This is a practical discussion of issues, problems, and successes. Categories and Subject Descriptor...