2520 search results - page 381 / 504 » Model-checking behavioral programs |
IPPS
1997
IEEE
14 years 2 months ago
1997
IEEE
Although platform-independent runtime systems for parallel programming languages are desirable, the need for low-level optimizations usually precludes their existence. This is bec...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
FSKD
2006
Springer
14 years 2 months ago
2006
Springer
Interval number is a kind of special fuzzy number and the interval approach is a good method to deal with some uncertainty. The semi-absolute deviation risk function is extended to...
ICMCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Video classi cation and segmentation are fundamental steps for e cient accessing, retrieving and browsing large amount of video data. We have developed a scene classi cationscheme...
ACSD
2008
IEEE
14 years 11 days ago
2008
IEEE
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...