Search Sciweavers | Sciweavers

14056 search results - page 54 / 2812

» Consistency in Model Integration

161

click to vote

SPAA
2006
ACM

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

Translating between itanium and sparc memory consistency models

16 years 1 months ago

Download pages.cpsc.ucalgary.ca

Lisa Higham, LillAnne Jackson

claim paper

Read More »

153

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

16 years 27 days ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

151

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 23 days ago

Download domino.research.ibm.com

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

claim paper

Read More »

125

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 22 days ago

Download www.sqrl.ul.ie

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

claim paper

Read More »

147

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

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers