7080 search results - page 251 / 1416 » Designing High Integrity Systems Using Aspects |
119
click to vote
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
174
click to vote
DSD
2010
IEEE
15 years 1 months ago
2010
IEEE
—We propose a parametrized memory template for applications with parallel for loops. The template’s parameters reflect important trade-offs made during system design. The temp...
137
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— By combining a low-order model of forecast errors, the extended Kalman filter, and classical continuous optimization, we develop an integrated methodology for planning mobile ...
120
click to vote
SBCCI
2005
ACM
15 years 8 months ago
2005
ACM
The designer of a system on a chip (SoC) that connects IP cores through a network on chip (NoC) needs methods to support application performance evaluation. Two key aspects these ...
153
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Since its inception, proteomics has essentially operated in a discovery mode with the goal of identifying and quantifying the maximal number of proteins in a sample. I...