Search Sciweavers | Sciweavers

7200 search results - page 42 / 1440

» On the Computational Power of Winner-Take-All

click to vote

IJFCS
2010

92views more IJFCS 2010»

Collapsing the Hierarchy of Parallel Computational Models

13 years 6 months ago

Download cs.ubishops.ca

We investigate the computational power of parallel models with directed reconfigurable buses and with shared memory. Based on feasibility considerations present in the literature,...

Stefan D. Bruda, Yuanqiao Zhang

claim paper

Read More »

click to vote

HT
2004
ACM

73views Internet Technology» more HT 2004»

Extending the role of the digital library: computer support for creating articles

14 years 2 months ago

Download eprints.ecs.soton.ac.uk

Les Carr, Timothy Miles-Board, Gary Wills, Guiller...

claim paper

Read More »

click to vote

CORR
2010
Springer

98views Education» more CORR 2010»

Extended Computation Tree Logic

13 years 8 months ago

Download www.comlab.ox.ac.uk

We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...

Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...

claim paper

Read More »

click to vote

ICCS
2009
Springer

98views Applied Computing» more ICCS 2009»

Power Consumption of GPUs from a Software Perspective

14 years 3 months ago