7504 search results - page 387 / 1501 » Computing with Action Potentials |
154
click to vote
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract: For cost-effective realization of sizable realtime distributed computing application systems, significant advances in resource allocation are in critical needs. An advanc...
246
click to vote
ICCABS
2011
14 years 8 months ago
2011
—Research efforts to analyze biomolecular properties contribute towards our understanding of biomolecular function. Calculating non-bonded forces (or in our case, electrostatic s...
117
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
134
Voted
CIMCA
2008
IEEE
15 years 11 months ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
156
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...