Sciweavers

3955 search results - page 552 / 791
» A Transactional Architecture for Simulation
Sort
View
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
BIBE
2007
IEEE
126views Bioinformatics» more  BIBE 2007»
15 years 8 months ago
FPGA Acceleration of Phylogeny Reconstruction for Whole Genome Data
In this paper we describe our design and characterization of a co-processor architecture to accelerate median-based phylogenetic reconstruction for generearrangement data. Our curr...
Jason D. Bakos, Panormitis E. Elenis, Jijun Tang
EUROPAR
2008
Springer
15 years 8 months ago
Load-Balancing for a Block-Based Parallel Adaptive 4D Vlasov Solver
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...
Olivier Hoenen, Eric Violard
FPGA
2008
ACM
191views FPGA» more  FPGA 2008»
15 years 8 months ago
A hardware framework for the fast generation of multiple long-period random number streams
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
Ishaan L. Dalal, Deian Stefan
AAAI
2010
15 years 8 months ago
An Integrated Systems Approach to Explanation-Based Conceptual Change
Understanding conceptual change is an important problem in modeling human cognition and in making integrated AI systems that can learn autonomously. This paper describes a model o...
Scott Friedman, Kenneth D. Forbus