2777 search results - page 303 / 556 » Example centric programming |
161
click to vote
ISSTA
2009
ACM
16 years 20 days 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...
143
click to vote
CLUSTER
2008
IEEE
16 years 19 days 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...
138
click to vote
HICSS
2008
IEEE
16 years 18 days 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 ...
156
Voted
ICRA
2008
IEEE
16 years 17 days 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...
130
click to vote
ICRA
2008
IEEE
16 years 17 days 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...