7557 search results - page 122 / 1512 » Modeling Timed Concurrent Systems |
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
101
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...
115
click to vote
SIAMCOMP
2010
14 years 12 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
114
Voted
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
119
click to vote
IJCNN
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper suggests a constructive fuzzy system modeling for time series prediction. The model proposed is based on Takagi-Sugeno system and it comprises two phases. First, a f...