Sciweavers

139 search results - page 6 / 28
» Internode: Internal Node Logic Computational Model
Sort
View
PDCAT
2004
Springer
14 years 11 days ago
Parallel Computing Platform for the Agent-Based Modeling of Multicellular Biological Systems
Abstract. Agent-based simulation of large multicellular biological systems has become a viable option owing to affordable parallel computers, such as Beowulf-style clusters. We de...
Toh Da-Jun, Francis Tang, Travis Lee, Deepak Sarda...
ENTCS
2008
102views more  ENTCS 2008»
13 years 7 months ago
Programming Languages For Interactive Computing
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
Roly Perera
ICCAD
1994
IEEE
139views Hardware» more  ICCAD 1994»
13 years 11 months ago
Switching activity analysis considering spatiotemporal correlations
This work presents techniques for computing the switching activities of all circuit nodes under pseudorandom or biased input sequences and assuming a zero delay mode of operation....
Radu Marculescu, Diana Marculescu, Massoud Pedram
WIOPT
2005
IEEE
14 years 17 days ago
A New Relaying Scheme for Cheap Wireless Relay Nodes
Wireless networks consist of senders, receivers, and intermediate nodes that collaborating (more or less) to establish the communication paths. Most of the researches in the domai...
Ramin Khalili, Kavé Salamatian
LICS
2010
IEEE
13 years 4 months ago
Recursion Schemes and Logical Reflection
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
Christopher H. Broadbent, Arnaud Carayol, C.-H. Lu...