2881 search results - page 522 / 577 » Model Checking for Programming Languages using Verisoft |
156
click to vote
PODS
1994
ACM
15 years 6 months ago
1994
ACM
Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...
114
click to vote
ICDAR
2005
IEEE
15 years 7 months ago
2005
IEEE
Cheap and versatile cameras make it possible to easily and quickly capture a wide variety of documents. However, low resolution cameras present a challenge to OCR because it is vi...
109
click to vote
CP
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
110
click to vote
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
119
click to vote
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...