Sciweavers

11121 search results - page 470 / 2225
» Computing with Continuous Change
Sort
View
SIGARCH
2008
73views more  SIGARCH 2008»
15 years 7 months ago
Servo: a programming model for many-core computing
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
Nicolas Zea, John Sartori, Rakesh Kumar
220
Voted
JETAI
2007
131views more  JETAI 2007»
15 years 7 months ago
A computational architecture for heterogeneous reasoning
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
Dave Barker-Plummer, John Etchemendy
ANOR
2002
99views more  ANOR 2002»
15 years 7 months ago
An Inventory-Location Model: Formulation, Solution Algorithm and Computational Results
We introduce a distribution center (DC) location model that incorporates working inventory and safety stock inventory costs at the distribution centers. In addition, the model inco...
Mark S. Daskin, Collette R. Coullard, Zuo-Jun Max ...
BMCBI
2004
151views more  BMCBI 2004»
15 years 7 months ago
A computational approach for ordering signal transduction pathway components from genomics and proteomics Data
Background: Signal transduction is one of the most important biological processes by which cells convert an external signal into a response. Novel computational approaches to mapp...
Yin Liu, Hongyu Zhao
JUCS
2000
102views more  JUCS 2000»
15 years 7 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...