Sciweavers

3827 search results - page 571 / 766
» The Epsilon Generation Language
Sort
View
IFIP
2005
Springer
14 years 4 months ago
Numerical Approximation of a Control Problem for Advection-Diffusion Processes
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...
Alfio Quarteroni, Gianluigi Rozza, L. Dedè,...
PVM
2005
Springer
14 years 4 months ago
Implementing OpenMP for Clusters on Top of MPI
llc is a language designed to extend OpenMP to distributed memory systems. Work in progress on the implementation of a compiler that translates llc code and targets distributed mem...
Antonio J. Dorta, José M. Badía, Enr...
UM
2005
Springer
14 years 4 months ago
Task-Oriented Web User Modeling for Recommendation
Abstract. We propose an approach for modeling the navigational behavior of Web users based on task-level patterns. The discovered “tasks” are characterized probabilistically as...
Xin Jin, Yanzan Zhou, Bamshad Mobasher
ERLANG
2004
ACM
14 years 4 months ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
AMAST
2004
Springer
14 years 4 months ago
On Guard: Producing Run-Time Checks from Integrity Constraints
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
Michael Benedikt, Glenn Bruns