7167 search results - page 213 / 1434 » A Technique for Invariant Generation |
259
click to vote
TC
2010
15 years 1 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
210
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
201
click to vote
NDSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fingerprinting is a widely used technique among the networking and security communities for identifying different implementations of the same piece of networking software running ...
200
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a real-time shadow generation algorithm for polygonal environments illuminated by movable point light sources. The main goal is to quickly reduce the number o...
193
click to vote
APVIS
2008
15 years 8 months ago
2008
Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...