Sciweavers

1742 search results - page 31 / 349
» A Framework for Network Modeling in Prolog
Sort
View
ENVSOFT
2007
91views more  ENVSOFT 2007»
13 years 8 months ago
Integrated assessment modelling for water resource allocation and management: A generalised conceptual framework
Nodal network approaches are a common framework for considering water allocation in river basins. In this type of model framework, a river basin is represented as a series of node...
Rebecca A. Letcher, Barry F. W. Croke, Anthony J. ...
TCAD
1998
95views more  TCAD 1998»
13 years 8 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
POLICY
2005
Springer
14 years 2 months ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...
SPAA
2012
ACM
11 years 11 months ago
A scalable framework for heterogeneous GPU-based clusters
GPU-based heterogeneous clusters continue to draw attention from vendors and HPC users due to their high energy efficiency and much improved single-node computational performance...
Fengguang Song, Jack Dongarra
JCNS
2006
59views more  JCNS 2006»
13 years 8 months ago
Spatio-temporal filtering properties of a dendritic cable with active spines: A modeling study in the spike-diffuse-spike framew
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modeled with a simple integrate-and-fire process, whils...
Yulia Timofeeva, Gabriel J. Lord, Stephen Coombes