1453 search results - page 144 / 291 » State and history in operating systems |
180
click to vote
TABLEAUX
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
147
click to vote
JELIA
1990
Springer
15 years 10 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
168
click to vote
AIPS
1994
15 years 7 months ago
1994
Aimsof traditional planners had beenlimited to finding a sequenceof operators rather than finding an optimal or neax-optimalfinal state. Consequent]y, the performanceimprovementsy...
166
click to vote
DI
2007
15 years 6 months ago
2007
All Windows memory analysis techniques depend on the examiner’s ability to translate the virtual addresses used by programs and operating system components into the true locatio...
170
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Cognitive radios, which enable the coexistence on the same bandwidth of licensed primary and unlicensed secondary users, have the potential for dramatically increasing the efficien...