Sciweavers

492 search results - page 70 / 99
» Simulating Software Architectures for Functional Analysis
Sort
View
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
14 years 1 months ago
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems
—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...
Karthik Lakshmanan, Gaurav Bhatia, Ragunathan Rajk...
GIS
2007
ACM
14 years 9 months ago
High-level web service for 3D building information visualization and analysis
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
Benjamin Hagedorn, Jürgen Döllner
DAC
2005
ACM
13 years 10 months ago
Smart diagnostics for configurable processor verification
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
Sadik Ezer, Scott Johnson
SC
2003
ACM
14 years 1 months ago
Application Steering in a Collaborative Environment
In this showcase we will present live running simulations which are integrated into the Access Grid in a variety of different ways. An example of this is the use of vncto distrib...
John Brooke, Thomas Eickermann, Uwe Wössner
DAC
1997
ACM
14 years 25 days ago
Remembrance of Things Past: Locality and Memory in BDDs
Binary Decision Diagrams BDDs are e cient at manipulating large sets in a compact manner. BDDs, however, are inefcient at utilizing the memory hierarchy of the computer. Recent ...
Srilatha Manne, Dirk Grunwald, Fabio Somenzi