Sciweavers

10072 search results - page 125 / 2015
» Composition of Model Programs
Sort
View
SIES
2010
IEEE
15 years 13 days ago
Compositional Translation of Simulink Models into Synchronous BIP
Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safa...
COLING
2010
14 years 9 months ago
Composition of Semantic Relations: Model and Applications
This paper presents a framework for combining semantic relations extracted from text to reveal even more semantics that otherwise would be missed. A set of 26 relations is introdu...
Eduardo Blanco 0002, Hakki C. Cankaya, Dan I. Mold...
107
Voted
APLAS
2008
ACM
15 years 4 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
SEW
2006
IEEE
15 years 8 months ago
Using Views to Specify a Synchronization Aspect for Object-Oriented Languages
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behr...