4139 search results - page 647 / 828 » Designing and Implementing Combinator Languages |
136
Voted
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...
139
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
119
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
The sustained push toward smaller and smaller technology sizes has reached a point where device reliability has moved to the forefront of concerns for next-generation designs. Sil...
145
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
181
Voted
PPOPP
2011
ACM
14 years 6 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...