Sciweavers

1713 search results - page 94 / 343
» Production programming in the classroom
Sort
View
ACMSE
2006
ACM
15 years 3 months ago
Computer tutoring for programming education
Software is increasingly pervasive in the products we use. Consequently, more programmers are needed to develop the software, and consequently there is unmet demand on programming...
Susan Eitelman
FMICS
2008
Springer
14 years 11 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
LOGCOM
2010
128views more  LOGCOM 2010»
14 years 8 months ago
Answer Set Programming with Resources
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
Stefania Costantini, Andrea Formisano
ICSM
2005
IEEE
15 years 3 months ago
Reducing Build Time through Precompilations for Evolving Large Software
Large-scale legacy programs take long time to compile, thereby hampering productivity. This paper presents algorithms that reduce compilation time by analyzing syntactic dependenc...
Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos, P...
SPIESR
2004
156views Database» more  SPIESR 2004»
14 years 11 months ago
Automated closed-captioning using text alignment
The production of closed captions is an important but expensive process in video broadcasting. We propose a method to generate highly accurate off-line captions efficiently. Our s...
Anthony F. Martone, Cüneyt M. Taskiran, Edwar...