3736 search results - page 352 / 748 » Generative Programming |
140
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
148
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
131
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
This paper explores hierarchical instruction scheduling for a tiled processor. Our results show that at the top level of the hierarchy, a simple profile-driven algorithm effective...
117
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Object-oriented programs often require large heaps to run properly or meet performance goals. They use high-overhead collections, bulky data models, and large caches. Discovering t...
168
click to vote
WSCG
2004
15 years 5 months ago
2004
This work deals with some problems of constructing and graphical displaying for a class of kinematic surfaces generated by mutual moving ruled surfaces touching one another along ...