1390 search results - page 262 / 278 » Software Systems Integration and Architectural Analysis - A ... |
GG
2004
Springer
14 years 1 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
ASPDAC
2009
ACM
14 years 2 months ago
2009
ACM
— Multiprocessors on a chip are the reality of these days. Semiconductor industry has recognized this approach as the most efficient in order to exploit chip resources, but the ...
PADS
2003
ACM
14 years 27 days ago
2003
ACM
Federated simulation interfaces such as the High Level Architecture (HLA) were designed for interoperability, and as such are not traditionally associated with highperformance com...
DATE
2000
IEEE
14 years 1 days ago
2000
IEEE
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
ABIALS
2008
Springer
14 years 2 months ago
2008
Springer
Abstract— Starting from the situated and embodied perspective on the study of biological cognition as a source of inspiration, this paper programmatically outlines a path towards...