1729 search results - page 124 / 346 » Generic Haskell: Applications |
141
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
128
click to vote
COLT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
115
click to vote
FPL
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present an automatic design flow for generating customized embedded FPGA (eFPGA) fabric and a domain specific SOC+eFPGA architecture. This design flow encompas...
127
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
131
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...