7557 search results - page 186 / 1512 » Modeling Timed Concurrent Systems |
174
click to vote
TSMC
2010
15 years 1 months ago
2010
This paper is concerned with the set-membership filtering (SMF) problem for discrete-time nonlinear systems. We employ the Takagi
165
click to vote
RTCSA
2006
IEEE
16 years 14 days ago
2006
IEEE
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
167
click to vote
DATE
2005
IEEE
16 years 2 days ago
2005
IEEE
Context-aware applications pose new challenges, including a need for new computational models, uncertainty management, and efficient optimization under uncertainty. Uncertainty c...
174
click to vote
COMPSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
Modern Web servers need to process multiple requests concurrently in order to fulfill the workload demands expected of them. Concurrency can be implemented in a Web server using ...
199
click to vote
IWMM
2011
Springer
14 years 9 months ago
2011
Springer
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...