790 search results - page 126 / 158 » Abstract modeling for engineering and engagement level simul... |
ICIAR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
ISPASS
2008
IEEE
14 years 3 months ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...
PATMOS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Embedded devices designed for various real-time multimedia and telecom applications, have a bottleneck in energy consumption and performance that becomes day by day more ...
EGITALY
2006
13 years 10 months ago
2006
In recent years the progress of 3D scanning technologies and the consequent growing commercialization of scanners opened a large spectrum of opportunities for many professionals. ...
FASE
2004
Springer
14 years 13 days ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...