1446 search results - page 239 / 290 » Hardware Software Co-Design Using Functional Languages |
117
Voted
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
130
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
130
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
129
click to vote
FLAIRS
2003
15 years 3 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
125
click to vote
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...