1446 search results - page 239 / 290 » Hardware Software Co-Design Using Functional Languages |
174
click to vote
CODES
2006
IEEE
16 years 2 days 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...
175
click to vote
ASPLOS
2012
ACM
14 years 1 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...
166
click to vote
FASE
2006
Springer
15 years 9 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...
168
click to vote
FLAIRS
2003
15 years 7 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...
175
click to vote
CMSB
2006
Springer
15 years 9 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...