7557 search results - page 722 / 1512 » Modeling Timed Concurrent Systems |
207
click to vote
IFIPTCS
2000
15 years 11 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
362
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
To improve the performance of a single application on Chip Multiprocessors (CMPs), the application must be split into threads which execute concurrently on multiple cores. In mult...
214
click to vote
RTSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Monitoring network status such as end-to-end delay, jitter, and available bandwidth is important to support QoS-sensitive applications and timely detection of network anomalies li...
178
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This research uses a Design of Experiments (DOE) approach to build a predictive model of the performance of a combinatorial optimization heuristic over a range of heuristic tuning...
191
click to vote
HICSS
2003
IEEE
16 years 21 days ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...