14382 search results - page 337 / 2877 » Time in Connectionist Models |
165
click to vote
ARC
2010
Springer
15 years 10 months ago
2010
Springer
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...
195
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
209
click to vote
ISCAPDCS
2008
15 years 8 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
182
click to vote
IJCAI
2007
15 years 8 months ago
2007
The association of perception and action is key to learning by observation in general, and to programlevel task imitation in particular. The question is how to structure this info...
191
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. ...