805 search results - page 52 / 161 » Integrating Functional and Architectural Views of Reactive S... |
158
click to vote
GIS
1999
ACM
15 years 10 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
173
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
To reduce cost and time to market of automotive software systems and simultaneously increase the products' quality, the component paradigm has achieved broad acceptance withi...
167
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
135
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
We present different kernels based on Lattice-Boltzmann methods for the solution of the twodimensional Shallow Water and Navier-Stokes equations on fully structured lattices. The...
204
click to vote
DAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents new technology that accelerates system verification. Traditional methods for verifying functional designs are based on logic simulation, which becomes more tim...