Sciweavers

262 search results - page 40 / 53
» Tilings as a programming exercise
Sort
View
TAP
2008
Springer
93views Hardware» more  TAP 2008»
15 years 4 months ago
Pex-White Box Test Generation for .NET
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
Nikolai Tillmann, Jonathan de Halleux
DAC
2006
ACM
16 years 5 months ago
Optimal cell flipping in placement and floorplanning
In a placed circuit, there are a lot of movable cells that can be flipped to further reduce the total wirelength, without affecting the original placement solution. We aim at solv...
Chiu-Wing Sham, Evangeline F. Y. Young, Chris C. N...
SIGCSE
2009
ACM
169views Education» more  SIGCSE 2009»
16 years 5 months ago
The impact of instructor initiative on student learning: a tutoring study
In the quest to find instructional approaches that benefit student learning, engagement, and retention, evidence suggests providing students with hands-on practice is a worthwhile...
Kristy Elizabeth Boyer, Robert Phillips, Michael D...
122
Voted
HPCA
2001
IEEE
16 years 4 months ago
An Architectural Evaluation of Java TPC-W
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
Harold W. Cain, Ravi Rajwar, Morris Marden, Mikko ...
141
Voted
ICSE
2004
IEEE-ACM
16 years 4 months ago
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presenc...
Saurabh Sinha, Alessandro Orso, Mary Jean Harrold