23413 search results - page 4522 / 4683 » or 2005 |
239
click to vote
PPAM
2005
Springer
16 years 17 days ago
2005
Springer
The ARTiS system, a real-time extension of the GNU/Linux scheduler dedicated to SMP (Symmetric Multi-Processors) systems is proposed. ARTiS exploits the SMP architecture to guarant...
238
click to vote
PPDP
2005
Springer
16 years 17 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
214
click to vote
PPDP
2005
Springer
16 years 17 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
205
click to vote
PPSWR
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
204
click to vote
PREMI
2005
Springer
16 years 17 days ago
2005
Springer
In the typical nonparametric approach to classification in instance-based learning and data mining, random data (the training set of patterns) are collected and used to design a d...