561 search results - page 112 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
CASES
2006
ACM
14 years 7 days ago
2006
ACM
Random access memory (RAM) is tightly-constrained in many embedded systems. This is especially true for the least expensive, lowest-power embedded systems, such as sensor network ...
INFOVIS
2005
IEEE
13 years 12 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
SIGMETRICS
2004
ACM
13 years 11 months ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
DATE
2010
IEEE
13 years 11 months ago
2010
IEEE
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
DGO
2007
13 years 7 months ago
2007
Government agencies globally are facing problems such as illegal immigration, terrorism, and disease diagnosis and control. Solutions to these problems rely heavily on collaborati...