Sciweavers

4763 search results - page 144 / 953
» On the Execution of Deep Models
Sort
View
SCP
2008
150views more  SCP 2008»
15 years 4 months ago
Google's MapReduce programming model - Revisited
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
Ralf Lämmel
IWANN
2009
Springer
15 years 9 months ago
A Soft Computing System to Perform Face Milling Operations
In this paper we present a soft computing system developed to optimize the face milling operation under High Speed conditions in the manufacture of steel components like molds with...
Raquel Redondo, Pedro Santos, Andrés Bustil...
IFM
2009
Springer
124views Formal Methods» more  IFM 2009»
15 years 11 months ago
Dynamic Path Reduction for Software Model Checking
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiao...
CAISE
2008
Springer
15 years 6 months ago
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
Pnina Soffer, Maya Kaner, Yair Wand
EUROPAR
2009
Springer
15 years 9 months ago
Distributed Data Partitioning for Heterogeneous Processors Based on Partial Estimation of Their Functional Performance Models
The paper presents a new data partitioning algorithm for parallel computing on heterogeneous processors. Like traditional functional partitioning algorithms, the algorithm assumes ...
Alexey L. Lastovetsky, Ravi Reddy