8719 search results - page 163 / 1744 » A Categorical Approach to Simulations |
112
click to vote
ICCD
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
110
click to vote
CAE
2007
15 years 4 months ago
2007
Audiovisual performance is a fertile area for creative expression, an intersection of experimental cinema and computer music that has seen a groundswell of interest in recent year...
117
click to vote
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
130
Voted
SSDBM
2011
IEEE
14 years 5 months ago
2011
IEEE
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...
101
click to vote
LCN
2006
IEEE
15 years 7 months ago
2006
IEEE
We introduce a scalable algorithm for time-parallel simulations of wireless ad hoc networks and report on our results. Our approach decomposes the simulation into overlapping temp...