Sciweavers

959 search results - page 43 / 192
» On the implementation of automatic differentiation tools
Sort
View
NAR
2007
122views more  NAR 2007»
13 years 7 months ago
The Online Bioinformatics Resources Collection at the University of Pittsburgh Health Sciences Library System - a one-stop gatew
To bridge the gap between the rising information needs of biological and medical researchers and the rapidly growing number of online bioinformatics resources, we have created the...
Yi-Bu Chen, Ansuman Chattopadhyay, Phillip Bergen,...
SAC
2004
ACM
14 years 1 months ago
Automatic parallel code generation for tiled nested loops
This paper presents an overview of our work, concerning a complete end-to-end framework for automatically generating message passing parallel code for tiled nested for-loops. It c...
Georgios I. Goumas, Nikolaos Drosinos, Maria Athan...
ICWE
2005
Springer
14 years 1 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
SIGMOD
1997
ACM
100views Database» more  SIGMOD 1997»
13 years 11 months ago
MDM: a Multiple-Data-Model Tool for the Management of Heterogeneous Database Schemes
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
Paolo Atzeni, Riccardo Torlone
ACE
2004
224views Education» more  ACE 2004»
13 years 9 months ago
Automating the Estimation of Project Size from Software Design Tools Using Modified Function Points
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
Jason Ceddia, Martin Dick