571 search results - page 54 / 115 » A principled approach to operating system construction in Ha... |
159
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...
215
click to vote
ISCA
2011
IEEE
14 years 9 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
149
click to vote
SDE
1991
15 years 9 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
195
click to vote
CLUSTER
2005
IEEE
15 years 11 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
156
click to vote
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
Recent work has provided functions that can be used to prove a principled distinction between the capabilities of mutation-based and crossover-based algorithms. However, prior fun...