Search Sciweavers | Sciweavers

14056 search results - page 54 / 2812

» Consistency in Model Integration

122

click to vote

SPAA
2006
ACM

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

Translating between itanium and sparc memory consistency models

15 years 10 months ago

Download pages.cpsc.ucalgary.ca

Lisa Higham, LillAnne Jackson

claim paper

Read More »

112

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

15 years 10 months ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

106

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

15 years 10 months ago

Download domino.research.ibm.com

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

claim paper

Read More »

click to vote

SEKE
2005
Springer

64views Software Engineering» more SEKE 2005»

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

15 years 10 months ago

Download www.sqrl.ul.ie

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

claim paper

Read More »

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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers