2324 search results - page 318 / 465 » Benchmark Generation Using Domain Specific Modeling |
ICIP
2010
IEEE
14 years 8 months ago
2010
IEEE
Texture classification is a classical yet still active topic in computer vision and pattern recognition. Recently, several new texture classification approaches by modeling textur...
74
Voted
BPM
2006
Springer
15 years 1 months ago
2006
Springer
An important shortcoming in the Business Process Redesign (BPR) literature is the lack of concrete guidance on how to improve an existing business process. Our earlier work has aim...
88
Voted
CP
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
103
click to vote
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
93
Voted
OWLED
2008
14 years 11 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...