12333 search results - page 378 / 2467 » System Level Modelling for Hardware Software Systems |
176
click to vote
PADS
1996
ACM
15 years 11 months ago
1996
ACM
Advances in massively parallel platforms are increasing the prospects for high performance discrete event simulation. Still the di culty in parallel programming persists and there...
210
click to vote
AVSS
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents an Open Source Vision Library (OpenVL) for hardware acceleration of video-based surveillance systems and other computer vision applications to facilitate low l...
177
click to vote
DAC
1989
ACM
15 years 10 months ago
1989
ACM
- New algorithms for high-level synthesis are presented. The first performs scheduling under hardware resource constraints and improves on commonly used list scheduling techniques ...
166
click to vote
SIGSOFT
1993
ACM
15 years 10 months ago
1993
ACM
Software engineering environments impose challenging requirements on the design and implementation of an object management system. Existing object management systems have been lim...
168
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...