571 search results - page 54 / 115 » A principled approach to operating system construction in Ha... |
113
click to vote
ISORC
2000
IEEE
15 years 5 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...
155
click to vote
ISCA
2011
IEEE
14 years 5 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. ...
SDE
1991
15 years 4 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...
148
click to vote
CLUSTER
2005
IEEE
15 years 7 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...
101
click to vote
GECCO
2007
Springer
15 years 7 months 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...