6939 search results - page 635 / 1388 » Algorithm Engineering for Parallel Computation |
171
Voted
SISAP
2008
IEEE
16 years 1 months ago
2008
IEEE
Similarity search has been proved suitable for searching in very large collections of unstructured data objects. We are interested in efficient parallel query processing under si...
179
click to vote
FOSSACS
2004
Springer
16 years 2 days ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
202
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
168
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a simple, yet powerful, approach for the specification and enforcement of authorizations regulating data release among data holders collaborating in a distributed comp...
180
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Oscilloscopes and their cousins, logic analyzers, are the tools of choice for difficult electronic hardware problems. In the hands of a skilled engineer or technician, these tool...