Sciweavers

3618 search results - page 387 / 724
» Additive functions for number systems in function fields
Sort
View
ESCIENCE
2007
IEEE
15 years 10 months ago
Grid-Enabling an Efficient Algorithm for Demanding Global Optimization Problems in Genetic Analysis
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
Mahen Jayawardena, Sverker Holmgren
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
16 years 1 months ago
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
Marc Daumas, David Lester
HICSS
2006
IEEE
105views Biometrics» more  HICSS 2006»
16 years 23 days ago
Unraveling Geographic Interdependencies in Electric Power Infrastructure
Interdependencies among infrastructure systems are now becoming commonplace, and present both opportunities and vulnerabilities. Initial attention was paid to functional interdepe...
Carlos E. Restrepo, Jeffrey S. Simonoff, Rae Zimme...
KI
2005
Springer
16 years 6 days ago
Hybrid Planning Using Flexible Strategies
In this paper we present a highly modular planning system architecture. It is based on a proper formal account of hybrid planning, which allows for the formal definition of (flex...
Bernd Schattenberg, Andreas Weigl, Susanne Biundo
DATE
2004
IEEE
146views Hardware» more  DATE 2004»
15 years 10 months ago
Analyzing On-Chip Communication in a MPSoC Environment
This work focuses on communication architecture analysis for multi-processor Systems-on-Chips (MPSoCs), and it leverages a SystemC-based platform to simulate a complete multi-proc...
Mirko Loghi, Federico Angiolini, Davide Bertozzi, ...