841 search results - page 142 / 169 » Hardware Software Partitioning of Operating Systems |
94
Voted
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
90
Voted
MSWIM
2006
ACM
15 years 3 months ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
STTT
1998
14 years 9 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
105
click to vote
HPDC
2012
IEEE
12 years 12 months ago
2012
IEEE
Interest has been growing in powering data centers (at least partially) with renewable or “green” sources of energy, such as solar or wind. However, it is challenging to use t...
COOPIS
2002
IEEE
15 years 2 months ago
2002
IEEE
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...