Sciweavers

3373 search results - page 98 / 675
» Operating Systems for FPGA Based Computers and Their Memory
Sort
View
IJHPCA
2008
88views more  IJHPCA 2008»
13 years 8 months ago
Extending Grid-Based Workflow Tools With Patterns/Operators
Many Grid applications involve combining computational and data access components into complex workflows. A distinction is generally made between mechanisms to compose components ...
Maria Cecilia Gomes, Omer F. Rana, José C. ...
WISA
2007
Springer
14 years 2 months ago
A Compositional Multiple Policies Operating System Security Model
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
Lei Xia, Wei Huang, Hao Huang
ISPAN
1997
IEEE
14 years 10 days ago
CASS: an efficient task management system for distributed memory architectures
The thesis of this research is that the task of exposing the parallelism in a given application should be left to the algorithm designer, who has intimate knowledge of the applica...
Jing-Chiou Liou, Michael A. Palis
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
13 years 6 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
ANCS
2007
ACM
14 years 4 days ago
Frame shared memory: line-rate networking on commodity hardware
Network processors provide an economical programmable platform to handle the high throughput and frame rates of modern and next-generation communication systems. However, these pl...
John Giacomoni, John K. Bennett, Antonio Carzaniga...