3653 search results - page 267 / 731 » On Recognizable Timed Languages |
301
click to vote
Book
"The term “design patterns” sounds a bit formal to the uninitiated and
can be somewhat off-putting when you first encounter it. But, in fact, design
patterns are just co...
295
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
This paper proposes a cycle accounting architecture for Simultaneous Multithreading (SMT) processors that estimates the execution times for each of the threads had they been execu...
178
click to vote
PADL
2010
Springer
16 years 4 months ago
2010
Springer
Explanations are a technique for reasoning about constraint propagation, which have been applied in many learning, backjumping and user-interaction algorithms for constraint progra...
184
click to vote
ESOP
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
203
click to vote
UML
2004
Springer
16 years 19 days ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...