145 search results - page 4 / 29 » Flow engineering for physical implementation: theory and pra... |
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
109
click to vote
IMAMS
2007
14 years 11 months ago
2007
Conformal geometry is in the core of pure mathematics. Conformal structure is more flexible than Riemaniann metric but more rigid than topology. Conformal geometric methods have p...
IEEEIAS
2009
IEEE
15 years 4 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—During the past decade, the packet classification problem has been widely studied to accelerate network applications such as access control, traffic engineering and intrusion de...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Traditionally, rectilinear Steiner minimum trees (RSMT) are widely used for routing estimation in design optimizations like floorplanning and physical synthesis. Since it optimize...