12745 search results - page 2404 / 2549 » Automating test automation |
181
click to vote
INFOCOM
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...
173
click to vote
ISCAS
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract- We present an architecture and VLSI implemen- Various strategies in the analysis of spatio-temporal dynamtation of a distributed neural interface and spatio-temporal ics ...
163
click to vote
ISQED
2006
IEEE
16 years 16 days ago
2006
IEEE
Design for Manufacturability (DFM) is becoming increasingly important as process geometries shrink. Conventional design rule pass/fail is not adequate to quantify DFM compliance. ...
184
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
203
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...