908 search results - page 36 / 182 » Temporal Analysis of Time Bounded Digital Systems |
RAID
2010
Springer
13 years 6 months ago
2010
Springer
Dynamic kernel memory has been a popular target of recent kernel malware due to the difficulty of determining the status of volatile dynamic kernel objects. Some existing approach...
FUIN
2007
13 years 7 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
IISWC
2008
IEEE
14 years 2 months ago
2008
IEEE
Commercial server applications remain memory bound on modern multiprocessor systems because of their large data footprints, frequent sharing, complex non-strided access patterns, ...
ACL
2012
11 years 10 months ago
2012
Although much work on relation extraction has aimed at obtaining static facts, many of the target relations are actually fluents, as their validity is naturally anchored to a cer...