504 search results - page 58 / 101 » Modular System Development with Pullbacks |
124
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 6 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
130
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
100
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
The application of aspect-oriented programming (AOP) to the embedded operating system domain is still a very controversial topic, as this area demands high performance and small m...
129
click to vote
AUTOMATICA
2010
15 years 2 months ago
2010
We consider a class of systems influenced by perturbations that are nonlinearly parameterized by unknown constant parameters, and develop a method for estimating the unknown param...
159
Voted
WOLLIC
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...