Sciweavers

1205 search results - page 113 / 241
» On P Systems with Bounded Parallelism
Sort
View
111
Voted
RP
2010
Springer
146views Control Systems» more  RP 2010»
15 years 2 months ago
Depth Boundedness in Multiset Rewriting Systems with Name Binding
Abstract. In this paper we consider ν-MSR, a formalism that combines the two main existing approaches for multiset rewriting, namely MSR and CMRS. In ν-MSR we rewrite multisets o...
Fernando Rosa Velardo
AMC
2008
108views more  AMC 2008»
15 years 3 months ago
Improved exponential stability for time-varying systems with nonlinear delayed perturbations
In this paper, a new sufficient delay dependent exponential stability condition for a class of linear time-varying systems with nonlinear delayed perturbations is derived by using...
P. Niamsup, K. Mukdasai, V. N. Phat
ECRTS
2006
IEEE
15 years 9 months ago
On a Theory of Media Processing Systems Behavior, with Applications
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
M. A. Weffers-Albu, Johan J. Lukkien, Elisabet F. ...
119
Voted
EMSOFT
2001
Springer
15 years 8 months ago
Storage Allocation for Real-Time, Embedded Systems
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
Steven M. Donahue, Matthew P. Hampton, Morgan Dete...
136
Voted
PADO
2001
Springer
15 years 8 months ago
Type Systems for Useless-Variable Elimination
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
Adam Fischbach, John Hannan