Sciweavers

3458 search results - page 211 / 692
» Abstracting Control
Sort
View
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
15 years 11 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren
200
Voted
SACMAT
2005
ACM
16 years 17 days ago
Composing and combining policies under the policy machine
As a major component of any host, or network operating system, access control mechanisms come in a wide variety of forms, each with their individual attributes, functions, methods...
David F. Ferraiolo, Serban I. Gavrila, Vincent C. ...
143
Voted
ICC
2007
IEEE
16 years 1 months ago
Wide-Sense Nonblocking Multiplane Baseline Switching Networks Composed of d d Switches
Abstract— A new control algorithm for log2(N, 0, p) switching networks composed of 2 × 2 switching elements has been proposed recently. Under this algorithm, log2(N, 0, p) switc...
Grzegorz Danilewicz, Wojciech Kabacinski, Marek Mi...
IPAW
2010
15 years 4 months ago
StarFlow: A Script-Centric Data Analysis Environment
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
Elaine Angelino, Daniel Yamins, Margo I. Seltzer
RTSS
2009
IEEE
16 years 1 months ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...