243 search results - page 41 / 49 » Error Detection Using Dynamic Dataflow Verification |
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
We address the consensus-based distributed linear filtering problem, where a discrete time, linear stochastic process is observed by a network of sensors. We assume that the consen...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
Concentration of design effort for current single-chip Commercial-Off-The-Shelf (COTS) microprocessors has been directed towards performance. Reliability has not been the primary ...
BMCBI
2007
13 years 8 months ago
2007
Background: The mechanisms underlying protein function and associated conformational change are dominated by a series of local entropy fluctuations affecting the global structure ...
CRV
2011
IEEE
12 years 8 months ago
2011
IEEE
—Motion information is an important cue for a robot to separate foreground moving objects from the static background world. Based on the observation that the motion of the backgr...