10707 search results - page 128 / 2142 » Designing executable abstractions |
113
click to vote
CASES
2003
ACM
15 years 8 months ago
2003
ACM
In an embedded system, the cost of storing a program onchip can be as high as the cost of a microprocessor. Compressing an application’s code to reduce the amount of memory requ...
121
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Feedback control laws are predominantly implemented on digital platforms as periodic tasks. Although periodicity simplifies the analysis and design of the implementati...
160
click to vote
ATAL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
107
click to vote
FMCAD
1998
Springer
15 years 7 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
153
click to vote
ALP
1992
Springer
15 years 7 months ago
1992
Springer
Rewriting is a computational paradigm that specifies the actions, but not the control. We introduce a hierarchical structure repreat a high level of abstraction, a form of control....