571 search results - page 48 / 115 » A principled approach to operating system construction in Ha... |
104
click to vote
CSREAEEE
2006
15 years 2 months ago
2006
Research was conducted in the area of sustainable knowledge extraction from e-business systems and technologies. Differentiating approaches from three notable authors in the field...
145
click to vote
FIW
1998
15 years 2 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
156
click to vote
WAC
2004
Springer
15 years 6 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
104
click to vote
DAM
2008
15 years 1 months ago
2008
We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the...
112
click to vote
LCTRTS
2005
Springer
15 years 6 months ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...