Sciweavers

2015 search results - page 264 / 403
» Hidden Software Capabilities
Sort
View
ISCAS
2005
IEEE
166views Hardware» more  ISCAS 2005»
14 years 2 months ago
Extending SystemC to support mixed discrete-continuous system modeling and simulation
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
Alain Vachoux, Christoph Grimm, Karsten Einwich
RTCSA
2005
IEEE
14 years 2 months ago
An On-Chip Garbage Collection Coprocessor for Embedded Real-Time Systems
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
Matthias Meyer
SEFM
2005
IEEE
14 years 2 months ago
Counting Interface Automata and their Application in Static Analysis of Actor Models
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
Ernesto Wandeler, Jörn W. Janneck, Edward A. ...
IUI
2005
ACM
14 years 2 months ago
The centrality of pivotal points in the evolution of scientific networks
In this paper, we describe the development of CiteSpace as an integrated environment for identifying and tracking thematic trends in scientific literature. The goal is to simplify...
Chaomei Chen
RE
2005
Springer
14 years 2 months ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook