4887 search results - page 73 / 978 » System Level Design Using C |
129
Voted
FPL
2010
Springer
15 years 12 days ago
2010
Springer
One of the more popular placement algorithms for Field Programmable Gate Arrays (FPGAs) is called Simulated Annealing (SA). This algorithm tries to create a good quality placement ...
120
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
The usefulness and usability of programming tools (for example, languages, libraries, and frameworks) may greatly impact programmer productivity and software quality. Ideally, the...
131
click to vote
ICDCS
2005
IEEE
15 years 8 months ago
2005
IEEE
The design of the access networks of next generation broadband wireless systems requires special attention in the light of changing network characteristics. In this paper, we pres...
107
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
112
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...