5105 search results - page 791 / 1021 » Approximate Structural Consistency |
159
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
190
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrate...
131
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Fagan inspections are a structured review of development documents that consists of individual preparation, a meeting and rework by the author of the document. Industrial experien...
169
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
163
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...