Sciweavers

2136 search results - page 317 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
CODES
2006
IEEE
15 years 10 months ago
Integrated analysis of communicating tasks in MPSoCs
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
Simon Schliecker, Matthias Ivers, Rolf Ernst
141
Voted
WIOPT
2005
IEEE
15 years 9 months ago
Distributed Power Allocation and Scheduling for Parallel Channel Wireless Networks
In this paper we develop distributed approaches for power allocation and scheduling in wireless access networks. We consider a model where users communicate over a set of parallel...
Xiangping Qin, Randall Berry
HASE
2008
IEEE
15 years 10 months ago
Localizing Program Errors via Slicing and Reasoning
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
Fei Pu, Yan Zhang
IWMM
2011
Springer
254views Hardware» more  IWMM 2011»
14 years 7 months ago
Short-term memory for self-collecting mutators
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
Martin Aigner, Andreas Haas, Christoph M. Kirsch, ...
116
Voted
ICANN
1997
Springer
15 years 8 months ago
A Novelty Detector Using a Network of Integrate and Fire Neurons
Information in the nervous system has often been considered as being represented by simultaneous discharge of a large set of neurons. We propose a learning mechanism for neural inf...
Tuong Vinh Ho, Jean Rouat