134 search results - page 25 / 27 » Modeling and simulation of a hybrid dynamic system used in h... |
CODES
2009
IEEE
13 years 11 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
IUI
2005
ACM
13 years 12 months ago
2005
ACM
Researchers have noticed that readers are increasingly skimming instead of reading in depth. Skimming also occur in re-reading activities, where the goal is to recall specific top...
ENTCS
2007
13 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
FCCM
2006
IEEE
14 years 10 days ago
2006
IEEE
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...
MM
2010
ACM
13 years 6 months ago
2010
ACM
This paper presents some interactive features we have added on our street-view web navigation application. Our system allows to navigate through a huge amount of data (panoramas a...