Sciweavers

955 search results - page 126 / 191
» A System for Solving Constraint Satisfaction Problems with S...
Sort
View
CSFW
2010
IEEE
15 years 10 months ago
Constraining Credential Usage in Logic-Based Access Control
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
Lujo Bauer, Limin Jia, Divya Sharma
LPNMR
2009
Springer
16 years 21 days ago
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for paralle...
Harold Ishebabi, Philipp Mahr, Christophe Bobda, M...
ICASSP
2011
IEEE
14 years 10 months ago
Robust SINR-constrained MISO downlink beamforming: When is semidefinite programming relaxation tight?
We consider the robust beamforming problem under imperfect channel state information (CSI) subject to SINR constraints in a downlink multiuser MISO system. One popular approach to...
Enbin Song, Qingjiang Shi, Maziar Sanjabi, Ruoyu S...
RTAS
2007
IEEE
16 years 12 days ago
Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
Unmesh D. Bordoloi, Samarjit Chakraborty
ICCS
2007
Springer
16 years 9 days ago
Integrated Decision Algorithms for Auto-steered Electric Transmission System Asset Management
Electric power transmission systems are comprised of a large number of physical assets, including transmission lines, power transformers, and circuit breakers, that are capital-int...
James D. McCalley, Vasant Honavar, Sarah M. Ryan, ...