1226 search results - page 165 / 246 » Proofs, Programs and Abstract Complexity |
114
click to vote
ADAEUROPE
2004
Springer
15 years 8 months 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...
113
click to vote
SIGADA
2004
Springer
15 years 8 months 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...
122
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
127
click to vote
UM
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
139
click to vote
UM
2001
Springer
15 years 7 months ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...