5863 search results - page 1005 / 1173 » On Model-Checking of P Systems |
160
click to vote
ISLPED
2009
ACM
16 years 1 months ago
2009
ACM
Increasing power densities and the high cost of low thermal resistance packages and cooling solutions make it impractical to design processors for worst-case temperature scenarios...
198
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Finding a destination in unfamiliar environments of complex office building or shopping mall has been always bothering us in daily life. Fine-scale directional guidance, a combina...
216
click to vote
SMA
2009
ACM
16 years 29 days ago
2009
ACM
We examine the problem of computing exactly the Delaunay graph (and the dual Voronoi diagram) of a set of, possibly intersecting, smooth convex pseudo-circles in the Euclidean pla...
165
click to vote
UIST
2009
ACM
16 years 29 days ago
2009
ACM
The deep web contains an order of magnitude more information than the surface web, but that information is hidden behind the web forms of a large number of web sites. Metasearch e...
184
click to vote
CISIS
2008
IEEE
16 years 28 days ago
2008
IEEE
In 2006, John Mellor-Crummey and Michael Scott received the Dijkstra Prize in Distributed Computing. This prize was for their 1991 paper on algorithms for scalable synchronization ...