2623 search results - page 369 / 525 » Universal Learning Theory |
189
click to vote
PPDP
2007
Springer
16 years 16 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
228
click to vote
SCESM
2006
ACM
16 years 11 days ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
161
click to vote
SIGMETRICS
2006
ACM
16 years 11 days ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...
198
click to vote
TLDI
2005
ACM
15 years 12 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
163
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...