ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
Modern multiprocessor embedded systems execute a large number of tasks on shared processors and handle their complex communications on shared communication networks. Traditional m...
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
ACSD
2007
IEEE
14 years 3 months ago
2007
IEEE
SBACPAD
2008
IEEE
14 years 3 months ago
2008
IEEE
This work presents an implementation of Neocognitron Neural Network, using a high performance computing architecture based on GPU (Graphics Processing Unit). Neocognitron is an ar...
SBACPAD
2008
IEEE
14 years 3 months ago
2008
IEEE
The development of grid algorithms is frequently hampered by limited means to describe topologies and lack of support for the invasive composition of legacy components in order to...
SBACPAD
2008
IEEE
14 years 3 months ago
2008
IEEE
Single processor technology has been evolving across last decades, but due to physical limitations of chip manufacturing process, the industry is pursuing alternatives to sustain ...