3104 search results - page 566 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
127
click to vote
MSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Storage virtualization is becoming more and more important due to the increasing gap between application requirements and the limited functionality offered by storage systems. In...
129
click to vote
IWSSD
1993
IEEE
15 years 8 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
138
click to vote
CAD
2000
Springer
15 years 4 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
144
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...
149
Voted
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...