4166 search results - page 351 / 834 » A modular module system |
184
click to vote
ENGL
2007
15 years 6 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
225
click to vote
WOLLIC
2010
Springer
15 years 5 months 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...
149
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
151
click to vote
DSD
2006
IEEE
16 years 25 days ago
2006
IEEE
Traditionally, an embedded system design process demands a considerable amount of expertise, time and money. This makes developing embedded systems difficult for many companies, a...
183
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...