2203 search results - page 280 / 441 » Temporal Abstract Interpretation |
153
Voted
ESOP
2011
Springer
14 years 7 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
128
click to vote
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
137
click to vote
CIARP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...
134
Voted
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
136
Voted
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract—Caching static HTTP traffic in proxy-caches has reduced bandwidth consumption and download latency. However, web-caching performance is hard to increase further due to ...