Sciweavers

16725 search results - page 262 / 3345

» Engineering Software Correctness

89

CSEE
2008
Springer

85views Software Engineering» more CSEE 2008»

Exonovation - Leveraging the Innovation of Others

15 years 5 months ago

Exonovation - Leveraging the Innovation of Others

Download research.csc.ncsu.edu

Michael Tiemann

claim paper

Read More »

119

CSSE
2008
IEEE

151views Software Engineering» more CSSE 2008»

Analysis on Cyclic Multi-party Fair Exchange Protocols

15 years 5 months ago

Analysis on Cyclic Multi-party Fair Exchange Protocols

Download tkuir.lib.tku.edu.tw

Xiangdong Li, Qingxian Wang, Li Chen

claim paper

Read More »

94

GTTSE
2007
Springer

141views Software Engineering» more GTTSE 2007»

Adding Dimension Analysis to Java as a Composable Language Extension

15 years 5 months ago

Adding Dimension Analysis to Java as a Composable Language Extension

Download www.msse.umn.edu

Eric Van Wyk, Yogesh Mali

claim paper

Read More »

98

EMSOFT
2008
Springer

114views Software Engineering» more EMSOFT 2008»

Scratchpad memory management in a multitasking environment

15 years 5 months ago

Scratchpad memory management in a multitasking environment

Download aces.snu.ac.kr

Bernhard Egger, Jaejin Lee, Heonshik Shin

claim paper

Read More »

95

EMSOFT
2008
Springer

113views Software Engineering» more EMSOFT 2008»

Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors

15 years 5 months ago

Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors

Download www.eecs.berkeley.edu

Nadathur Satish, Kaushik Ravindran, Kurt Keutzer

claim paper

Read More »

« Prev « First page 262 / 3345 Last » Next »