602 search results - page 43 / 121 » Efficient Model Checking of Applications with Input Output |
IJAOM
2010
13 years 3 months ago
2010
Technologies have varied strengths and weaknesses which require careful assessment by the purchasers. One of the uses of Data Envelopment Analysis (DEA) is technology selection. T...
TVLSI
2008
13 years 9 months ago
2008
Abstract--The quantum-dot cellular automata (QCA) model offers a novel nano-domain computing architecture by mapping the intended logic onto the lowest energy configuration of a co...
AMOST
2005
ACM
14 years 2 months ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
JCNS
2000
13 years 8 months ago
2000
We explore a computationally efficient method of simulating realistic networks of neurons introduced by Knight, Manin, and Sirovich (1996) in which integrate-and-fire neurons are ...
FMICS
2007
Springer
14 years 29 days ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...