1206 search results - page 234 / 242 » Concurrent Abstract Predicates |
LSSC
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
VTC
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— This paper describes an automatic wireless LAN access points planning approach based on a multicriteria modelling and solving. A realistic and efficient wLAN planning ...
HPCS
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...
IWANN
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. A spiking neural network modeling the cerebellum is presented. The model, consisting of more than 2000 conductance-based neurons and more than 50 000 synapses, runs in re...