Sciweavers

13004 search results - page 2169 / 2601
» Mining Software Data
Sort
View
188
Voted
DBPL
2007
Springer
103views Database» more  DBPL 2007»
15 years 10 months ago
Datalog Programs over Infinite Databases, Revisited
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
Sara Cohen, Joseph Gil, Evelina Zarivach
157
Voted
CAV
2010
Springer
214views Hardware» more  CAV 2010»
15 years 10 months ago
Learning Component Interfaces with May and Must Abstractions
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...
ICCSA
2007
Springer
15 years 10 months ago
Component Specification for Parallel Coupling Infrastructure
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
Jay Walter Larson, Boyana Norris
166
Voted
HIPEAC
2009
Springer
15 years 10 months ago
HeDGE: Hybrid Dataflow Graph Execution in the Issue Logic
Abstract. Exposing more instruction-level parallelism in out-of-order superscalar processors requires increasing the number of dynamic in-flight instructions. However, large instru...
Suriya Subramanian, Kathryn S. McKinley
156
Voted
AUIC
2004
IEEE
15 years 10 months ago
Display and Presence Disparity in Mixed Presence Groupware
Mixed Presence Groupware (MPG) supports both colocated and distributed participants working over a shared visual workspace. It does this by connecting multiple single-display grou...
Anthony Tang, Michael Boyle, Saul Greenberg
« Prev « First page 2169 / 2601 Last » Next »