Sciweavers

3119 search results - page 457 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
JLP
2007
95views more  JLP 2007»
15 years 6 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
CASES
2003
ACM
15 years 11 months ago
Polynomial-time algorithm for on-chip scratchpad memory partitioning
Focusing on embedded applications, scratchpad memories (SPMs) look like a best-compromise solution when taking into account performance, energy consumption and die area. The main ...
Federico Angiolini, Luca Benini, Alberto Caprara
BMCBI
2008
111views more  BMCBI 2008»
15 years 6 months ago
MLIP: using multiple processors to compute the posterior probability of linkage
Background: Localization of complex traits by genetic linkage analysis may involve exploration of a vast multidimensional parameter space. The posterior probability of linkage (PP...
Manika Govil, Alberto Maria Segre, Veronica J. Vie...
SCOPES
2004
Springer
15 years 11 months ago
An Automated C++ Code and Data Partitioning Framework for Data Management of Data-Intensive Applications
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
Athanasios Milidonis, Grigoris Dimitroulakos, Mich...
ICCBR
2007
Springer
16 years 17 days ago
From Anomaly Reports to Cases
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
Stewart Massie, Nirmalie Wiratunga, Susan Craw, Al...