3954 search results - page 632 / 791 » Image-based Model Completion |
130
click to vote
POPL
2000
ACM
15 years 7 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
119
Voted
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
133
click to vote
WOSP
2010
ACM
15 years 7 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
100
click to vote
DAC
1999
ACM
15 years 7 months ago
1999
ACM
This paper describes a two-state methodology for register transfer level (RTL) logic simulation in which the use of the Xstate is completely eliminated inside ASIC designs. Exampl...
139
click to vote
DAC
1999
ACM
15 years 7 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...