Search Sciweavers | Sciweavers

14056 search results - page 54 / 2812

» Consistency in Model Integration

145

click to vote

SPAA
2006
ACM

99views Distributed And Parallel Com...» more SPAA 2006»

Translating between itanium and sparc memory consistency models

16 years 15 days ago

Download pages.cpsc.ucalgary.ca

Lisa Higham, LillAnne Jackson

claim paper

Read More »

137

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

16 years 5 days ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

139

click to vote

LCPC
2005
Springer

125views System Software» more LCPC 2005»

Evaluating the Impact of Thread Escape Analysis on a Memory Consistency Model-Aware Compiler

16 years 1 days ago

Download domino.research.ibm.com

Chi-Leung Wong, Zehra Sura, Xing Fang, Kyungwoo Le...

claim paper

Read More »

114

click to vote

SEKE
2005
Springer

64views Software Engineering» more SEKE 2005»

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications

16 years 16 hour ago

Download www.sqrl.ul.ie

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomi...

claim paper

Read More »

123

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers