Sciweavers

640 search results - page 69 / 128
» On Timed Simulation Relations for Hybrid Systems and Composi...
Sort
View
FAST
2003
13 years 9 months ago
Using MEMS-Based Storage in Disk Arrays
Current disk arrays, the basic building blocks of highperformance storage systems, are built around two memory technologies: magnetic disk drives, and non-volatile DRAM caches. Di...
Mustafa Uysal, Arif Merchant, Guillermo A. Alvarez
ESCIENCE
2006
IEEE
13 years 11 months ago
Scientific Workflows: More e-Science Mileage from Cyberinfrastructure
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
Bertram Ludäscher, Shawn Bowers, Timothy M. M...
EJASP
2010
114views more  EJASP 2010»
13 years 2 months ago
Packet Format Design and Decision Directed Tracking Methods for Filter Bank Multicarrier Systems
Packetized data transmission is commonly used in wireless communication systems. Each packet starts with a preamble which is used to synchronize the receiver with carrier frequenc...
Peiman Amini, Behrouz Farhang-Boroujeny
JCP
2008
114views more  JCP 2008»
13 years 7 months ago
Statistical Analysis and Data Analysis of Stock Market by Interacting Particle Models
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
Jun Wang, Bingli Fan, Tiansong Wang
FM
2006
Springer
113views Formal Methods» more  FM 2006»
13 years 11 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...