Sciweavers

727 search results - page 46 / 146
» SIMPL: A System for Integrating Optimization Techniques
Sort
View
USS
2004
15 years 1 months ago
Privtrans: Automatically Partitioning Programs for Privilege Separation
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
David Brumley, Dawn Xiaodong Song
HYBRID
2001
Springer
15 years 4 months ago
Accurate Event Detection for Simulating Hybrid Systems
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
Joel M. Esposito, Vijay Kumar, George J. Pappas
SIGMOD
2005
ACM
145views Database» more  SIGMOD 2005»
15 years 12 months ago
Native Xquery processing in oracle XMLDB
With XQuery becoming the standard language for querying XML, and the relational SQL platform being recognized as an important platform to store and process XML, the SQL/XML standa...
Zhen Hua Liu, Muralidhar Krishnaprasad, Vikas Aror...
ASPDAC
1995
ACM
116views Hardware» more  ASPDAC 1995»
15 years 3 months ago
A datapath synthesis system for the reconfigurable datapath architecture
Abstract — A datapath synthesis system (DPSS) for the reconfigurable datapath architecture (rDPA) is presented. The DPSS allows automatic mapping of high level descriptions onto...
Reiner W. Hartenstein, Rainer Kress
VTC
2008
IEEE
102views Communications» more  VTC 2008»
15 years 6 months ago
A New Two-Step Precoding Based on Rotation Transformations in Closed-Loop MIMO Systems
— In this paper, we propose a two-step precoding approach for multiple-input multiple-output (MIMO) systems by dividing the precoding process into two steps: spatial multiplexing...
Heunchul Lee, Seokhwan Park, Inkyu Lee