Sciweavers

13917 search results - page 59 / 2784
» Abstraction of Probabilistic Systems
Sort
View
HYBRID
2009
Springer
15 years 11 months ago
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...
Gunther Reißig
EUROPAR
2008
Springer
15 years 6 months ago
Co-design of Distributed Systems Using Skeleton and Autonomic Management Abstractions
nomic Management Abstractions M. Aldinucci1 , M. Danelutto1 , and P. Kilpatrick2 1 Dept. Computer Science, Univ. of Pisa, Italy 2 Dept. Computer Science, Queen's Univ. of Belf...
Marco Aldinucci, Marco Danelutto, Peter Kilpatrick
SIGOPSE
1998
ACM
15 years 8 months ago
Battery-powered distributed systems (extended abstract)
Abstract for EW’98 Paul J.M. Havinga, Arne Helme, Sape J. Mullender1 , Gerard J.M. Smit, Jaap Smit University of Twente, Enschede, Netherlands
Paul J. M. Havinga, Arne Helme, Sape J. Mullender,...
CORR
2011
Springer
195views Education» more  CORR 2011»
14 years 11 months ago
Abstract Processes of Place/Transition Systems
Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard S...