Sciweavers

12115 search results - page 383 / 2423
» Bisimulation of Dynamical Systems
Sort
View
OSDI
2008
ACM
16 years 7 months ago
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
Manjunath Kudlur, Scott A. Mahlke, Stéphane...
WWW
2010
ACM
16 years 1 months ago
Facetedpedia: dynamic generation of query-dependent faceted interfaces for wikipedia
We propose Facetedpedia, a faceted retrieval system for information discovery and exploration in Wikipedia. Given the set of Wikipedia articles resulting from a keyword query, Fac...
Chengkai Li, Ning Yan, Senjuti Basu Roy, Lekhendro...
ICCS
2009
Springer
16 years 1 months ago
Improving the Scalability of SimGrid Using Dynamic Routing
Research into large-scale distributed systems often relies on the use of simulation frameworks in order to bypass the disadvantages of performing experiments on real testbeds. SimG...
Silas De Munck, Kurt Vanmechelen, Jan Broeckhove
CISS
2008
IEEE
16 years 1 months ago
Channel modeling and detector design for dynamic mode high density probe storage
— Probe based data storage is a promising solution for satisfying the demand for ultra-high capacity storage devices. One of the main problems with probe storage devices is the w...
Naveen Kumar, Pranav Agarwal, Aditya Ramamoorthy, ...
CEC
2005
IEEE
16 years 12 days ago
Dynamic salting route optimisation using evolutionary computation
Abstract- On marginal winter nights, highway authorities face a difficult decision as to whether or not to salt the road network. The consequences of making a wrong decision are s...
Hisashi Handa, Lee Chapman, Xin Yao