Sciweavers

4074 search results - page 255 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
ERSA
2004
129views Hardware» more  ERSA 2004»
15 years 8 months ago
A Methodology for Energy Efficient Application Synthesis Using Platform FPGAs
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...
Jingzhao Ou, Viktor K. Prasanna
ICCAD
2006
IEEE
128views Hardware» more  ICCAD 2006»
16 years 3 months ago
Improvements to combinational equivalence checking
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
Alan Mishchenko, Satrajit Chatterjee, Robert K. Br...
EUROMICRO
2009
IEEE
16 years 1 months ago
Using Design Patterns for Refactoring Real-World Models
— Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, ...
Hamed Yaghoubi Shahir, Ehsan Kouroshfar, Raman Ram...
VCBM
2010
15 years 1 months ago
Interactive Real Time Simulation of Cardiac Radio-Frequency Ablation
Virtual reality based therapy simulation meets a growing interest from the medical community due to its potential impact for the training of medical residents and the planning of ...
Erik Pernod, Maxime Sermesant, Jatin Relan, Herv&e...
EUROCAST
2005
Springer
102views Hardware» more  EUROCAST 2005»
16 years 4 days ago
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance
Similarity queries in traditional databases work directly on attribute values. But, often similar attribute values do not indicate similar meanings. Semantic background information...
Josef Küng, Roland Wagner