Sciweavers

547 search results - page 85 / 110
» FeatureIDE: A tool framework for feature-oriented software d...
Sort
View
EMSOFT
2005
Springer
15 years 8 months ago
Model-based analysis of distributed real-time embedded system composition
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
Gabor Madl, Sherif Abdelwahed
122
Voted
SCAI
2001
15 years 4 months ago
Using Simulated RoboCup to Teach AI in Undergraduate Education
In this paper we argue that RoboCup is a useful tool for the teaching of AI in undergraduate education. We provide case studies, from two Swedish universities, of how RoboCup based...
Fredrik Heintz, Johan Kummeneje, Paul Scerri
116
Voted
PLDI
2012
ACM
13 years 5 months ago
Test-case reduction for C compiler bugs
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Ch...
118
Voted
KBSE
2009
IEEE
15 years 9 months ago
Static Typing for Ruby on Rails
—Ruby on Rails (or just “Rails”) is a popular web application framework built on top of Ruby, an objectoriented scripting language. While Ruby’s powerful features such as d...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
AVI
2008
15 years 4 months ago
End-user visualizations
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
Alexander Repenning, Andri Ioannidou