Sciweavers

53390 search results - page 43 / 10678
» Computer Systems Analysis
Sort
View
JUCS
2000
102views more  JUCS 2000»
14 years 11 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é...
OSDI
2008
ACM
15 years 2 months ago
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Bud...
BMCBI
2008
107views more  BMCBI 2008»
14 years 12 months ago
Multi-agent systems in epidemiology: a first step for computational biology in the study of vector-borne disease transmission
Background: Computational biology is often associated with genetic or genomic studies only. However, thanks to the increase of computational resources, computational models are ap...
Benjamin Roche, Jean-François Guégan...
ICS
2007
Tsinghua U.
15 years 6 months ago
Scheduling FFT computation on SMP and multicore systems
Increased complexity of memory systems to ameliorate the gap between the speed of processors and memory has made it increasingly harder for compilers to optimize an arbitrary code...
Ayaz Ali, S. Lennart Johnsson, Jaspal Subhlok
ISCAS
2006
IEEE
65views Hardware» more  ISCAS 2006»
15 years 5 months ago
Symbolic analysis of bifurcations in planar variable structure systems
— In this paper a methodology to the analysis of bifurcations of variable structure systems is proposed. This methodology, based on the use of symbolic computation packages, is d...
Ubirajara F. Moreno, Eugênio B. Castelan, Ed...