172 search results - page 34 / 35 » Enforcing synchronous system properties on top of timed syst... |
BMCBI
2006
13 years 5 months ago
2006
Background: Existing biological databases support a variety of queries such as keyword or definition search. However, they do not provide any measure of relevance for the instance...
CVPR
2012
IEEE
11 years 7 months ago
2012
IEEE
We propose a novel mode of feedback for image search, where a user describes which properties of exemplar images should be adjusted in order to more closely match his/her mental m...
HICSS
2010
IEEE
14 years 4 days ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
FMSD
2007
13 years 5 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
POS
1994
Springer
13 years 9 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...