Sciweavers

1713 search results - page 199 / 343
» Production programming in the classroom
Sort
View
81
Voted
CCE
2004
14 years 10 months ago
Cyclic short-term scheduling of multiproduct batch plants using continuous-time representation
The idea of cyclic scheduling is commonly utilized to address short-term scheduling problems for multiproduct batch plants under the assumption of relatively stable operations and...
Dan Wu, Marianthi G. Ierapetritou
81
Voted
EL
2010
172views more  EL 2010»
14 years 8 months ago
Computer literacy skills of librarians: a case study of Isfahan University libraries, Iran
We live in a computer-centric information age. The number of computers in-use including in libraries is growing rapidly. Computer literacy, which is the ability to operate a compu...
Hajar Safahieh, Asefeh Asemi
ICSE
2009
IEEE-ACM
15 years 11 months ago
Accurate Interprocedural Null-Dereference Analysis for Java
Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools perform a limited inter...
Mangala Gowri Nanda, Saurabh Sinha
ICSE
2008
IEEE-ACM
15 years 11 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
PLDI
2009
ACM
15 years 10 months ago
Chameleon: adaptive selection of collections
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
Ohad Shacham, Martin T. Vechev, Eran Yahav