Sciweavers

1481 search results - page 86 / 297
» Software controlled power management
Sort
View
EUROPAR
2003
Springer
15 years 5 months ago
High-Level Process Control in Eden
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen...
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 5 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
CCS
2005
ACM
15 years 5 months ago
Control-flow integrity
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...
Martín Abadi, Mihai Budiu, Úlfar Erl...
EGC
2005
Springer
15 years 5 months ago
Workflow Management in the CrossGrid Project
Grid systems offer high computing capabilities that are used in many scientific research fields and thus many applications are submitted to these powerful systems. Parallel applica...
Anna Morajko, Enol Fernández, Alvaro Fern&a...
ISCC
2002
IEEE
15 years 4 months ago
Resource and performance management in wireless communication networks
In this paper, we study the problems of resource and performance management in channelized wireless networks. For identifying research issues systematically, we propose a research...
Chih-Hao Lin, Frank Yeong-Sung Lin