2030 search results - page 125 / 406 » The Need for Customizable Operating Systems |
157
click to vote
ENTCS
2002
15 years 4 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...
174
click to vote
CDES
2010
15 years 2 months ago
2010
This paper describes the design of a delay-insensitive (DI) Cell Matrix. This architecture allows for massively parallel, self-determined operation and can be used to implement reg...
118
Voted
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper presents a software component, the plan database, which provides the needed services to define plans, execute them and more importantly adapt them during execution....
150
click to vote
IUI
2000
ACM
15 years 9 months ago
2000
ACM
Users of complex applications need advice, assistance, and feedback while they work. We are experimenting with “adjunct” user agents that are aware of the history of interacti...
135
click to vote
CN
2006
15 years 5 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...