4346 search results - page 778 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
213
click to vote
CVPR
2003
IEEE
16 years 5 months ago
2003
IEEE
We wish to determine the epipolar geometry of a stereo camera pair from image measurements alone. This paper describes a solution to this problem which does not require a parametr...
115
click to vote
INFOVIS
2005
IEEE
15 years 8 months ago
2005
IEEE
We present the Visual Code Navigator, a set of three interrelated visual tools that we developed for exploring large source code software projects from three different perspective...
146
click to vote
SIGMETRICS
2005
ACM
15 years 8 months ago
2005
ACM
I/O consolidation is a growing trend in production environments due to the increasing complexity in tuning and managing storage systems. A consequence of this trend is the need to...
275
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Many modern enterprises are collecting data at the most detailed level possible, creating data repositories ranging from terabytes to petabytes in size. The ability to apply sophi...
156
click to vote
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...