2362 search results - page 225 / 473 » Programming in Standard ML |
181
click to vote
ADAEUROPE
2004
Springer
16 years 15 days ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
176
click to vote
CD
2004
Springer
16 years 14 days ago
2004
Springer
This paper presents an approach to describe, deploy and manage component-based applications having dynamic functional and non-functional requirements. The approach is centered on a...
178
click to vote
SIGADA
2004
Springer
16 years 13 days ago
2004
Springer
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...
165
Voted
FATES
2003
Springer
16 years 9 days ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
185
click to vote
HPDC
2002
IEEE
16 years 1 days ago
2002
IEEE
Increasing complexity of distributed applications and commodity of resources through grids are making the tasks of deploying those applications harder. There is a clear need for s...