2132 search results - page 319 / 427 » Automated software winnowing |
116
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We describe the structure of a compilation system that generates code for processor architectures supporting both explicit and implicit parallel threads. Such architectur...
119
click to vote
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
162
click to vote
EUROMICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
150
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
133
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...