5415 search results - page 782 / 1083 » The Implementation of Functional Programming Languages |
237
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Scalable heterogeneous computing systems, which are composed of a mix of compute devices, such as commodity multicore processors, graphics processors, reconfigurable processors, ...
301
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
171
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
169
click to vote
ICTAI
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a problem-independent framework that uni es various mechanisms for solving discrete constrained nonlinear programming (NLP) problems whose functions are not ne...
162
click to vote
AAAI
1990
15 years 7 months ago
1990
The repetitive behavior of a device or system can be described in two ways: a detailed description of one iteration of the behavior, or a summary description of the behavior over ...