7167 search results - page 295 / 1434 » A Technique for Invariant Generation |
217
Voted
NRHM
2000
15 years 7 months ago
2000
There are a number of different approaches for automatically selecting video clips from a video database and sequencing them into meaningful presentations for viewers. The video d...
170
click to vote
ACMSE
2010
ACM
15 years 5 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
307
Voted
ECOWS
2011
Springer
14 years 7 months ago
2011
Springer
Abstract—One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource ta...
197
click to vote
VIS
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a novel approach for the direct computation of integral surfaces in general vector fields. As opposed to previous work, which we analyze in detail, our approach is based...
200
Voted
DAC
2003
ACM
16 years 8 months ago
2003
ACM
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...