Sciweavers

5961 search results - page 1107 / 1193
» Design Science and Software Engineering
Sort
View
129
Voted
EMSOFT
2007
Springer
15 years 8 months ago
The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
Haifeng He, Saumya K. Debray, Gregory R. Andrews
EMSOFT
2007
Springer
15 years 8 months ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
137
Voted
EMSOFT
2007
Springer
15 years 8 months ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
MTSR
2007
Springer
15 years 8 months ago
Quality Metrics in Learning Objects
In today's rapidly evolving society, the range and depth of information available to us is quickly growing which affects educational institutions, who find it difficult to kee...
Juan F. Cervera, María G. López-L&oa...
133
Voted
REFSQ
2007
Springer
15 years 8 months ago
Optimal-Constraint Lexicons for Requirements Specifications
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
Stephen Boyd, Didar Zowghi, Vincenzo Gervasi
« Prev « First page 1107 / 1193 Last » Next »