Sciweavers

1722 search results - page 167 / 345
» Ontology Formalism Transformation
Sort
View
DKE
2011
251views Education» more  DKE 2011»
15 years 1 months ago
Generating operation specifications from UML class diagrams: A model transformation approach
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
IJIT
2004
15 years 8 months ago
Resource Matching and a Matchmaking Service for an Intelligent Grid
We discuss the application of matching in the area of resource discovery and resource allocation in grid computing. We present a formal definition of matchmaking, overview algorith...
Xin Bai, Han Yu, Yongchang Ji, Dan C. Marinescu
CASES
2006
ACM
16 years 15 days ago
Memory optimization by counting points in integer transformations of parametric polytopes
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
Rachid Seghir, Vincent Loechner
IFL
2004
Springer
131views Formal Methods» more  IFL 2004»
15 years 12 months ago
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...
Alfredo Cristóbal-Salas, Andrey Chernykh, E...
COMCOM
2008
80views more  COMCOM 2008»
15 years 6 months ago
Transforming general networks into feed-forward by using turn-prohibition
The issue of breaking cycles in communication networks is an important topic for several reasons. For instance, it is required when transparent bridges are filling the forwarding ...
Juan Echagüe, Jesús E. Villadangos, Vi...