1675 search results - page 96 / 335 » Some thoughts on teaching programming and programming langua... |
122
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
130
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
121
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
Saving the internal data of an application in an external form is called marshalling. A generic marshaller is difficult to optimize because the format of the data that will be mars...
135
click to vote
MOZ
2004
Springer
15 years 9 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
165
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...