351 search results - page 34 / 71 » Aspect-Oriented Approach to Operating System Development Emp... |
SIGCSE
2000
ACM
15 years 2 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
AIPS
2008
15 years 22 hour ago
2008
When controlling an autonomous system, it is inefficient or sometimes impossible for the human operator to specify detailed commands. Instead, the field of AI autonomy has develop...
109
click to vote
EMSOFT
2011
Springer
13 years 9 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
ENTCS
2002
14 years 9 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
81
Voted
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
The organizing pattern of interaction moves from less to more understanding about the relationships that exist between concepts. The current view of organizing activities is prima...