11089 search results - page 1637 / 2218 » Developing software families |
269
click to vote
DLS
2009
15 years 5 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
234
Voted
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
188
Voted
CACM
2010
15 years 4 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
218
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...
274
Voted
AROBOTS
2011
15 years 2 months ago
2011
— Database of human motion has been widely used for recognizing human motion and synthesizing humanoid motions. In this paper, we propose a data structure for storing and extract...