936 search results - page 137 / 188 » Task Graph Scheduling Using Timed Automata |
104
click to vote
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
152
click to vote
RTCSA
1998
IEEE
15 years 5 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
105
click to vote
SSDBM
2005
IEEE
15 years 7 months ago
2005
IEEE
Scientific investigations have to deal with rapidly growing amounts of data from simulations and experiments. During data analysis, scientists typically want to extract subsets o...
117
click to vote
SDM
2009
SIAM
15 years 10 months ago
2009
SIAM
Anomaly detection in multivariate time series is an important data mining task with applications to ecosystem modeling, network traffic monitoring, medical diagnosis, and other d...
107
click to vote
AGTIVE
2003
Springer
15 years 6 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...