Sciweavers

3090 search results - page 359 / 618
» On Testing Answer-Set Programs
Sort
View
ADAEUROPE
2004
Springer
16 years 14 hour ago
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
Mario Aldea Rivas, Francisco Javier Miranda Gonz&a...
CD
2004
Springer
16 years 8 hour ago
Asynchronous, Hierarchical, and Scalable Deployment of Component-Based Applications
The deployment of distributed component-based applications is a complex task. Proposed solutions are often centralized, which excludes their use for the deployment of large-scale a...
Vivien Quéma, Roland Balter, Luc Bellissard...
SIGADA
2004
Springer
15 years 12 months ago
GNAT: on the road to Ada 2005
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
Javier Miranda, Edmond Schonberg
WABI
2004
Springer
15 years 12 months ago
Chaining Algorithms for Alignment of Draft Sequence
Abstract. In this paper we propose a chaining method that can align a draft genomic sequence against a finished genome. We introduce the use of an overlap tree to enhance the state...
Mukund Sundararajan, Michael Brudno, Kerrin Small,...
CCGRID
2003
IEEE
15 years 12 months ago
Distributed Computing with Hierarchical Master-worker Paradigm for Parallel Branch and Bound Algorithm
This paper discusses the impact of the hierarchical master-worker paradigm on performance of an application program, which solves an optimization problem by a parallel branch and ...
Kento Aida, Wataru Natsume, Yoshiaki Futakata