4480 search results - page 54 / 896 » Prototyping Completion with Constraints Using Computational ... |
128
click to vote
SC
2009
ACM
15 years 8 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
121
click to vote
CL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
166
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
117
Voted
PPOPP
2010
ACM
15 years 5 months ago
2010
ACM
Helper locks allow programs with large parallel critical sections, called parallel regions, to execute more efficiently by enlisting processors that might otherwise be waiting on ...
117
Voted
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...