998 search results - page 91 / 200 » From Feasible Proofs to Feasible Computations |
HPDC
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper presents the concept of pluggable parallelisation that allows scientists to develop “sequential like” codes that can take advantage of multi-core, cluster and grid ...
CSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Conventional e-mail systems are prone to problems that affect their dependability. E-mail systems operate following a “push-based” approach: the sender side server pushes the ...
ICNS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper proposes a mobile ad hoc networking approach to detecting and querying events related to farm animals such as oestrus, animal diseases and decreased efficiency of pastu...
EOR
2007
13 years 8 months ago
2007
Motivated by an underground mining operation at Kiruna, Sweden, we formulate a mixed integer program to schedule iron ore production over multiple time periods. Our optimization m...
SBACPAD
2008
IEEE
14 years 3 months ago
2008
IEEE
This work presents an implementation of Neocognitron Neural Network, using a high performance computing architecture based on GPU (Graphics Processing Unit). Neocognitron is an ar...