1446 search results - page 92 / 290 » Hardware Software Co-Design Using Functional Languages |
116
click to vote
MICRO
2005
IEEE
15 years 8 months ago
2005
IEEE
An emerging trend in processor design is the addition of short vector instructions to general-purpose and embedded ISAs. Frequently, these extensions are employed using traditiona...
128
click to vote
EWSPT
1995
Springer
15 years 6 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
132
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
131
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
106
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...