Sciweavers

1888 search results - page 188 / 378
» Automatic Implementation of Distributed Systems Formal Speci...
Sort
View
BPM
2005
Springer
118views Business» more  BPM 2005»
15 years 9 months ago
Applying Enterprise Models to Design Cooperative Scientific Environments
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
Andrea Bosin, Nicoletta Dessì, Maria Grazia...
121
Voted
IPPS
2009
IEEE
15 years 10 months ago
A scalable auto-tuning framework for compiler optimization
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...
Ananta Tiwari, Chun Chen, Jacqueline Chame, Mary W...
124
Voted
ECOOPW
1999
Springer
15 years 8 months ago
EPOS: An Object-Oriented Operating System
This position paper reports the current development stage of project Epos, which aims to deliver, whenever possible automatically, a customized runtime support system for each (hi...
Antônio Augusto Fröhlich, Wolfgang Schr...
ISTA
2003
15 years 5 months ago
Managing Business Logic with Symbolic Computation
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
Ruslan Shevchenko, Anatoly E. Doroshenko
126
Voted
GPC
2007
Springer
15 years 7 months ago
Bio-inspired Grid Information System with Epidemic Tuning
g Service Oriented Abstractions for the Wireless Sensor Grid Edgardo Aviles-Lopez, J. Antonio Garcia-Macias Implementation of OSD Security Framework and Credential Cache Gu Su Kim,...
Agostino Forestiero, Carlo Mastroianni, Fausto Pup...