Sciweavers

1021 search results - page 196 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
125
Voted
CIA
2003
Springer
15 years 8 months ago
Send Fredo off to Do This, Send Fredo off to Do That
Abstract. Fredo is a generic domain-independent broker that creates valueadded information taking into account the preferences specified by its clients. Fredo uses ontology service...
Luís Miguel Botelho, Hugo Mendes, Pedro Fig...
130
Voted
ICCS
2001
Springer
15 years 7 months ago
Adaptive Load Balancing for MPI Programs
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
Milind A. Bhandarkar, Laxmikant V. Kalé, Er...
133
Voted
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 25 days ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
107
Voted
VSTTE
2005
Springer
15 years 8 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
139
Voted
TCOM
2010
195views more  TCOM 2010»
14 years 9 months ago
Coherent and Differential Space-Time Shift Keying: A Dispersion Matrix Approach
Abstract--Motivated by the recent concept of Spatial Modulation (SM), we propose a novel Space-Time Shift Keying (STSK) modulation scheme for Multiple-Input Multiple-Output (MIMO) ...
Shinya Sugiura, Sheng Chen, Lajos Hanzo