4341 search results - page 602 / 869 » Quantitative Model checking |
162
click to vote
RAS
2008
15 years 6 months ago
2008
Acquiring, representing and modeling human skills is one of the key research areas in teleoperation, programming-by-demonstration and human-machine collaborative settings. The pro...
177
click to vote
TPDS
2010
15 years 5 months ago
2010
The circular sensing model has been widely used to estimate performance of sensing applications in existing analysis and simulations. While this model provides valuable high-level...
183
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
151
click to vote
BIBE
2007
IEEE
16 years 29 days ago
2007
IEEE
—Microarray technology has provided an opportunity to simultaneously monitor the expression levels of a large number of genes in response to intentional perturbations. A necessar...
163
click to vote
SPAA
2005
ACM
16 years 5 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...