Sciweavers

9370 search results - page 1687 / 1874
» An Abstract Notion of Application
Sort
View
TCAD
2011
15 years 13 days ago
High-Level Synthesis for FPGAs: From Prototyping to Deployment
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
Jason Cong, Bin Liu, Stephen Neuendorffer, Juanjo ...
ISVC
2009
Springer
15 years 10 months ago
Data Vases:  2D and 3D Plots for Visualizing Multiple Time Series
Abstract. One challenge associated with the visualization of time-dependent data is to develop graphical representations that are effective for exploring multiple time-varying qua...
Sidharth Thakur, Theresa-Marie Rhyne
CGO
2011
IEEE
14 years 9 months ago
Extendable pattern-oriented optimization directives
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
Huimin Cui, Jingling Xue, Lei Wang, Yang Yang, Xia...
CORR
2011
Springer
190views Education» more  CORR 2011»
14 years 9 months ago
Doubly Robust Smoothing of Dynamical Processes via Outlier Sparsity Constraints
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...
Shahrokh Farahmand, Georgios B. Giannakis, Daniele...
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 9 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
« Prev « First page 1687 / 1874 Last » Next »