Sciweavers

6274 search results - page 333 / 1255
» Proofs, Programs, Processes
Sort
View
GECCO
2007
Springer
159views Optimization» more  GECCO 2007»
16 years 24 days ago
A systemic computation platform for the modelling and analysis of processes with natural characteristics
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
Erwan Le Martelot, Peter J. Bentley, R. Beau Lotto
ICCS
2007
Springer
16 years 24 days ago
Universal Execution of Parallel Processes: Penetrating NATs over the Grid
Today, clusters are very important computing resources and many computing centers manage their clusters in private networks. But parallel programs may not work in private clusters....
Insoon Jo, Hyuck Han, Heon Young Yeom, Ohkyoung Kw...
VEE
2006
ACM
139views Virtualization» more  VEE 2006»
16 years 18 days ago
Vector LLVA: a virtual vector instruction set for media processing
We present Vector LLVA, a virtual instruction set architecture (VISA) that exposes extensive static information about vector parallelism while avoiding the use of hardware-speciļ¬...
Robert L. Bocchino Jr., Vikram S. Adve
ROBOCUP
2005
Springer
85views Robotics» more  ROBOCUP 2005»
16 years 4 days ago
Lightweight Management - Taming the RoboCup Development Process
RoboCup projects can face a lack of progress and continuity. The teams change continuously and knowledge gets lost. The approach used in previous years is no longer valid due to ru...
Tijn van der Zant, Paul-Gerhard Plöger
GLVLSI
2010
IEEE
136views VLSI» more  GLVLSI 2010»
15 years 11 months ago
Thermal-aware compilation for system-on-chip processing architectures
The development of compiler-based mechanisms to reduce the percentage of hotspots and optimize the thermal profile of large register files has become an important issue. Thermal...
Mohamed M. Sabry, José L. Ayala, David Atie...