Sciweavers

1739 search results - page 145 / 348
» Writing Good Software Engineering Research Paper
Sort
View
114
Voted
EUROMICRO
1999
IEEE
15 years 5 months ago
Design Space Exploration in System Level Synthesis under Memory Constraints
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
Radoslaw Szymanek, Krzysztof Kuchcinski
99
Voted
AAAI
1994
15 years 2 months ago
Using Qualitative Physics to Build Articulate Software for Thermodynamics Education
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...
Kenneth D. Forbus, Peter B. Whalley
OOPSLA
2010
Springer
14 years 11 months ago
Teaching and training developer-testing techniques and tool support
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wo...
110
Voted
VMCAI
2009
Springer
15 years 7 months ago
Shape-Value Abstraction for Verifying Linearizability
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
Viktor Vafeiadis
77
Voted
ICSEA
2007
IEEE
15 years 7 months ago
An Integrated Database Programming and Querying Language with Support for Simultaneous Processing
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...
Markus Kirchberg