4007 search results - page 626 / 802 » Automotive Software Integration |
230
Voted
TCBB
2011
14 years 12 months ago
2011
: Extraction of meaningful information from large experimental datasets is a key element of bioinformatics research. One of the challenges is to identify genomic markers in Hepatit...
177
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
193
Voted
PLDI
2011
ACM
14 years 7 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...
299
click to vote
CASES
2011
ACM
14 years 5 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
222
click to vote
ICSE
2012
IEEE-ACM
13 years 7 months ago
2012
IEEE-ACM
—At ICSE 2010, the Code Bubbles team from Brown University and the Code Canvas team from Microsoft Research presented similar ideas for new user experiences for an integrated dev...