13489 search results - page 346 / 2698 » Self-migration of operating systems |
181
click to vote
ISLPED
2007
ACM
15 years 8 months ago
2007
ACM
Power-related issues have become important considerations in current generation microprocessor design. One of these issues is that of elevated on-chip temperatures. This has an ad...
169
click to vote
FORTE
2007
15 years 8 months ago
2007
Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. Howev...
159
click to vote
CSREASAM
2006
15 years 8 months ago
2006
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
160
click to vote
WSC
2001
15 years 8 months ago
2001
In most physical queueing applications, customers join a queue and move forward after each service, leaving room for others to join behind them. Some queues found in material hand...
183
click to vote
USENIX
2003
15 years 8 months ago
2003
Read-copy update (RCU) allows lock-free read-only access to data structures that are concurrently modified on SMP systems. Despite the concurrent modifications, read-only access...