Sciweavers

3831 search results - page 247 / 767
» Dynamic Context Logic
Sort
View
SIGSOFT
2010
ACM
15 years 3 months ago
An effective dynamic analysis for detecting generalized deadlocks
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
COLING
2008
15 years 7 months ago
Semantic Visualization and Meaning Computation
We present here VISUSYN, a prototype we developed in order to study meaning construction. This software implements the model of dynamic construction of meaning proposed by Victorr...
Fabienne Venant
JGS
2000
97views more  JGS 2000»
15 years 5 months ago
Part 3 Specialized aspects of GIS and spatial analysis
GIS and spatial analysis is suited mainly for static pictures of the landscape, but many of the processes that need exploring are dynamic in nature. Dynamic processes can be comple...
Paul W. Box
DAC
2004
ACM
16 years 6 months ago
Dynamic FPGA routing for just-in-time FPGA compilation
Just-in-time (JIT) compilation has previously been used in many applications to enable standard software binaries to execute on different underlying processor architectures. Howev...
Roman L. Lysecky, Frank Vahid, Sheldon X.-D. Tan
APIN
2007
94views more  APIN 2007»
15 years 6 months ago
Agent-oriented modeling of the dynamics of biological organisms
In this paper the agent-oriented modeling perspective to cope with biological complexity is discussed. Three levels of dynamics can distinguished and related to each other: dynami...
Catholijn M. Jonker, Jan Treur