962 search results - page 143 / 193 » Some Reducibilities on Regular Sets |
IEEEPACT
2009
IEEE
14 years 4 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
CIKM
2009
Springer
14 years 4 months ago
2009
Springer
Social tagging systems have recently emerged as an effective way for users to annotate and organize large collections of resources on the Web. Moreover, they also facilitate an e...
MOBILWARE
2009
ACM
14 years 4 months ago
2009
ACM
The availability of heterogeneous wireless interfaces and of growing computing resources on widespread portable devices pushes for enabling innovative deployment scenarios where mo...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— The tokamak concept for magnetic confinement of fusion plasmas is now quite mature scientifically. This maturity is evidenced by the ongoing worldwide effort to design and cons...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...