Sciweavers

2530 search results - page 155 / 506
» Dynamic topological logic
Sort
View
109
Voted
OSDI
2006
ACM
16 years 4 months ago
BrowserShield: Vulnerability-Driven Filtering of Dynamic HTML
Vulnerability-driven filtering of network data can offer a fast and easy-to-deploy alternative or intermediary to software patching, as exemplified in Shield [43]. In this paper, ...
Charles Reis, John Dunagan, Helen J. Wang, Opher D...
120
Voted
IPPS
2006
IEEE
15 years 9 months ago
Achieving strong scaling with NAMD on Blue Gene/L
NAMD is a scalable molecular dynamics application, which has demonstrated its performance on several parallel computer architectures. Strong scaling is necessary for molecular dyn...
Sameer Kumar, Chao Huang, George Almási, La...
124
Voted
ISCN
2006
IEEE
15 years 9 months ago
SLiT (strongly connected light-trail) for WDM rings
: Light-trail as a candidate for dynamic provisioning and sub-wavelength grooming has been investigated before. A light-trail is an example of an intelligent unidirectional wavelen...
Ashwin Gumaste, Nasir Ghani, Shakesh Jain, Si-Qing...
148
Voted
IPPS
2005
IEEE
15 years 9 months ago
Dynamic Reconfiguration of Mechatronic Real-Time Systems Based on Configuration State Machines
Data flow and FSMs are used intensively to specify real-time systems in the field of mechatronics. Their implementation in FPGAs is discussed against the background of dynamic rec...
Steffen Toscher, Roland Kasper, Thomas Reinemann
ISSTA
2009
ACM
15 years 10 months ago
SideTrack: generalizing dynamic atomicity analysis
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan