592 search results - page 51 / 119 » Analytical Tools for Natural Algorithms |
MOBICOM
2009
ACM
14 years 5 months ago
2009
ACM
Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important performance mea...
AGP
1995
IEEE
14 years 2 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
ISQED
2010
IEEE
14 years 5 months ago
2010
IEEE
— Algorithms and tools used for IC implementation do not show deterministic and predictable behaviors with input parameter changes. Due to suboptimality and inaccuracy of underly...
AMOST
2005
ACM
14 years 4 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...