12333 search results - page 140 / 2467 » System Level Modelling for Hardware Software Systems |
111
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
Efficient high level design tools that can map behavioral descriptions to FPGA architectures are one of the key requirements to fully leverage FPGA for high throughput computatio...
144
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
139
Voted
TRUST
2009
Springer
15 years 9 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
93
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
125
click to vote
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...