2555 search results - page 347 / 511 » Quantifiers and Working Memory |
129
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
128
click to vote
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Increasingly, systems are being developed and used in ways that involve end of life issues such as death, dying, and bereavement. Yet design considerations and guidelines for tech...
169
click to vote
CONIELECOMP
2011
IEEE
14 years 7 months ago
2011
IEEE
This work focuses on developing systems of blocks in SIMULINK and VHDL to reuse on design of applications involving the recognition of polygonal objects. Usage of this work reduce...
155
click to vote
MOBIHOC
2009
ACM
16 years 4 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...
148
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...