2608 search results - page 458 / 522 » Subjects, Models, Languages, Transformations |
192
click to vote
POPL
2009
ACM
16 years 16 days ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
174
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
199
click to vote
POPL
2006
ACM
16 years 5 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
SIGCSE
2009
ACM
15 years 6 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
106
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...