4074 search results - page 500 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
170
click to vote
WSC
2008
15 years 9 months ago
2008
In the construction industry, a specialist subcontractor manages a taskforce of single-skilled laborers to work on multiple construction sites, aiming to minimize the total cost a...
213
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...
169
click to vote
CAV
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
170
click to vote
BMVC
2001
15 years 9 months ago
2001
A large body of human image processing techniques use skin detection as a first primitive for subsequent feature extraction. Well established methods of colour modelling, such as...
167
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
This work presents a performance modeling framework, developed by the Performance Modeling and Characterization (PMaC) Lab at the San Diego Supercomputer Center, that is faster tha...