2777 search results - page 303 / 556 » Example centric programming |
119
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
113
click to vote
CLUSTER
2008
IEEE
15 years 9 months ago
2008
IEEE
—Several performance analysis tools support hybrid applications. Most originated as MPI profiling or tracing tools and OpenMP capabilities were added to extend the performance a...
103
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Managing the inventories along with carrying out the production program is essential for many companies in the producing industry. In this paper, a fuzzy EPQ (Economic Production ...
129
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— Assume a swarm of mobile robots is in the act of transporting a large object in the plane, by applying unilateral forces to the perimeter of that object. We address the questio...
101
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
— We consider a collection of robots sharing a common environment, each robot constrained to move on a roadmap in its configuration space. To program optimal collision-free moti...