3028 search results - page 248 / 606 » Integrating Temporal Logics |
192
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Due to the changing scope of data management towards the management of heterogeneous and distributed systems and applications, integration processes gain in importance. T...
169
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Register integration (or simply integration) is a mechanism for incorporating speculative results directly into a sequential execution using data-dependence relationships. In this...
245
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
197
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— We present an active vision system for segmentation of visual scenes based on integration of several cues. The system serves as a visual front end for generation of obj...
179
click to vote
ISMVL
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...