Sciweavers

31686 search results - page 13 / 6338
» Resource typing in Guru
Sort
View
NJC
2000
169views more  NJC 2000»
15 years 4 days ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
GRID
2007
Springer
15 years 10 days ago
Introduce: An Open Source Toolkit for Rapid Development of Strongly Typed Grid Services
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
Shannon Hastings, Scott Oster, Stephen Langella, D...
IJNSEC
2010
163views more  IJNSEC 2010»
14 years 7 months ago
Evaluating the Effects of Symmetric Cryptography Algorithms on Power Consumption for Different Data Types
As the importance and the value of exchanged data over the Internet or other media types are increasing, the search for the best solution to offer the necessary protection against...
Diaa Salama Abdul Minaam, Hatem M. Abdual-Kader, M...
139
Voted
LION
2009
Springer
136views Optimization» more  LION 2009»
15 years 7 months ago
Fitness Landscape Analysis for the Resource Constrained Project Scheduling Problem
The fitness landscape of the resource constrained project scheduling problem is investigated by examining the search space position type distribution and the correlation between t...
Jens Czogalla, Andreas Fink
103
Voted
BMCBI
2006
233views more  BMCBI 2006»
15 years 13 days ago
AbMiner: A bioinformatic resource on available monoclonal antibodies and corresponding gene identifiers for genomic, proteomic,
Background: Monoclonal antibodies are used extensively throughout the biomedical sciences for detection of antigens, either in vitro or in vivo. We, for example, have used them fo...
Sylvia M. Major, Satoshi Nishizuka, Daisaku Morita...