524 search results - page 58 / 105 » Debugging Models in the Context of Automotive Software Devel... |
137
click to vote
DAC
2007
ACM
16 years 1 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...
115
click to vote
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
78
Voted
AAAI
2007
15 years 2 months ago
2007
Knowledge-based recommender technologies support customers and sales representatives in the identification of appropriate products and services. These technologies are especially ...
115
Voted
ICCBSS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...
146
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...