7092 search results - page 624 / 1419 » Parallelizing constraint programs |
171
click to vote
BIS
2008
15 years 7 months ago
2008
The deep Web has many challenges to be solved. Among them is schema matching. In this paper, we build a conceptual connection between the schema matching problem SMP and the fuzzy ...
191
click to vote
VSTTE
2012
Springer
14 years 1 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
268
Voted
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
151
click to vote
ISORC
2008
IEEE
16 years 21 days ago
2008
IEEE
The specific constraints that must be satisfied by embedded systems, such as timeliness, energy efficiency of battery-operated devices, dependable operation in safety-relevant sce...
146
click to vote
ICDCSW
2006
IEEE
16 years 10 days ago
2006
IEEE
— Healthcare and economic drivers have increased the desire to deploy systems for continuous monitoring of patients, both in hospital and outpatient settings. Such systems must o...