7380 search results - page 1150 / 1476 » Engineering Software Intensive Systems |
153
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
127
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
137
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
120
click to vote
AVI
2010
15 years 5 months ago
2010
The use of gameplay has been shown to be an excellent educational tool, especially if such games are supported by innovative and engaging technologies. This paper presents two new...
128
click to vote
AVI
2004
15 years 5 months ago
2004
The navigation support provided by user interfaces of Virtual Environments (VEs) is often inadequate and tends to be overly complex, especially in the case of large-scale VEs. In ...