2604 search results - page 113 / 521 » General constant expressions for system programming language... |
126
Voted
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
131
Voted
LCTRTS
2007
Springer
15 years 9 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
124
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
134
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
207
Voted
SLOGICA
2011
14 years 10 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...