2546 search results - page 139 / 510 » Designing the Future |
167
click to vote
SAFECOMP
1998
Springer
1998
Springer
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
15 years 11 months ago
By-wire systems have been established for several years in the area of aircraft construction and there are now approaches to utilize this technology in vehicles. The required elect...
191
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
168
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
As the number of devices available per chip continues to increase, the computational potential of future computer architectures grows likewise. While this is a clear benefit for f...
171
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Expressed sequence tags (ESTs) analyses are a fundamental tool for gene identification in organisms. Given a preliminary EST sample from a certain library, several sta...
197
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Blind students are an underrepresented group in computer science. In this paper, we describe our experience preparing and leading the computer science track at the National Federa...