734 search results - page 136 / 147 » Configurable Transactional Memory |
ERSA
2004
13 years 9 months ago
2004
Platform FPGAs incorporate many different components, such as processor core(s), reconfigurable logic, memory, etc., onto a single chip. When an application is synthesized on platf...
GRAPHICSINTERFACE
2000
13 years 8 months ago
2000
Caustics produce beautiful and intriguing illumination patterns. However, their complex behavior make them difficult to simulate accurately in all but the simplest configurations....
MVA
1994
13 years 8 months ago
1994
In our work we improve the EPPI programming environment, which was made in the University of Castilla - la Mancha one year ago. EPPI is a tool for simulating parallel algorithms t...
MVA
1990
13 years 8 months ago
1990
This systcm is based on slit-ray projcction mcthod. The remarkable featurcs of this systcm -- high speed and continuous rneasuremcnt -- mainly comes from its image plane construct...
ACTA
2010
13 years 7 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...