1575 search results - page 221 / 315 » A Behavioral Analysis of Computational Models of Visual Atte... |
170
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
149
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
157
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
172
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
181
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...