Search Sciweavers | Sciweavers

3473 search results - page 136 / 695

» Aspect-Oriented Programming with C

107

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 7 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

click to vote

CMPB
2006

73views more CMPB 2006»

DtiStudio: Resource program for diffusion tensor computation and fiber bundle tracking

15 years 4 months ago

Download individual.utoronto.ca

Hangyi Jiang, Peter C. M. van Zijl, Jinsuh Kim, Go...

claim paper

Read More »

109

click to vote

OCLC
2008

64views more OCLC 2008»

Using faculty focus groups to launch a scholarly communication program

15 years 4 months ago

Download krex.k-state.edu

Purpose

Martin P. Courtois, Elizabeth C. Turtle

claim paper

Read More »

Voted

AIM
2004

73views Software Engineering» more AIM 2004»

Model-Based Programming of Fault-Aware Systems

15 years 3 months ago

Download www.cmpe.boun.edu.tr

Brian C. Williams, Michel D. Ingham, Seung Chung, ...

claim paper

Read More »

112

click to vote

ANCS
2010
ACM

161views Computer Networks» more ANCS 2010»

Chimpp: a click-based programming and simulation environment for reconfigurable networking hardware

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers