Sciweavers

3454 search results - page 246 / 691
» Modern computer algebra
Sort
View
HPCC
2005
Springer
16 years 4 days ago
FAST-EVP: An Engine Simulation Tool
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
Gino Bella, Alfredo Buttari, Alessandro De Maio, F...
ASM
2004
ASM
16 years 18 hour ago
An ASM Semantics for SSA Intermediate Representations
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
Sabine Glesner
DEBS
2003
ACM
15 years 12 months ago
Introducing reliability in content-based publish-subscribe through epidemic algorithms
Distributed content-based publish-subscribe middleware provides the necessary decoupling, flexibility, expressiveness, and scalability required by modern distributed applications...
Paolo Costa, Matteo Migliavacca, Gian Pietro Picco...
EUROPAR
2003
Springer
15 years 12 months ago
Modeling Context-Aware Behavior by Interpreted ECA Rules
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...
Wolfgang Beer, Volker Christian, Alois Ferscha, La...
CIT
2007
Springer
15 years 10 months ago
An Approach for Assessment of Reliability of the System Using Use Case Model
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...
Debasish Kundu, Debasis Samanta