5246 search results - page 81 / 1050 » Sanitization models and their limitations |
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
PPOPP
2005
ACM
15 years 4 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
105
click to vote
CEC
2009
IEEE
15 years 2 months ago
2009
IEEE
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
ACL
2006
15 years 23 days ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
ACL
2006
15 years 23 days ago
2006
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...