Sciweavers

3507 search results - page 309 / 702
» Specialized execution environments
Sort
View
ICFEM
2007
Springer
16 years 1 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
RSP
2006
IEEE
102views Control Systems» more  RSP 2006»
16 years 29 days ago
Rapid Resource-Constrained Hardware Performance Estimation
In a hardware-software co-design environment, an application is partitioned into modules. Each module is then mapped either to software or to hardware. The mapping process is driv...
Basant Kumar Dwivedi, Arun Kejariwal, M. Balakrish...
ASPDAC
2006
ACM
133views Hardware» more  ASPDAC 2006»
16 years 28 days ago
An SPU reference model for simulation, random test generation and verification
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
Yukio Watanabe, Balazs Sallay, Brad W. Michael, Da...
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
16 years 18 days ago
OS Debugging Method Using a Lightweight Virtual Machine Monitor
Demands for implementing original OSs that can achieve high I/O performance on PC/AT compatible hardware have recently been increasing, but conventional OS debugging environments ...
Tadashi Takeuchi
SC
2005
ACM
16 years 16 days ago
Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
Lorin Hochstein, Jeffrey Carver, Forrest Shull, Si...