Sciweavers

3473 search results - page 136 / 695
» Aspect-Oriented Programming with C
Sort
View
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 10 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
CMPB
2006
73views more  CMPB 2006»
15 years 6 months ago
DtiStudio: Resource program for diffusion tensor computation and fiber bundle tracking
Hangyi Jiang, Peter C. M. van Zijl, Jinsuh Kim, Go...
OCLC
2008
64views more  OCLC 2008»
15 years 6 months ago
Using faculty focus groups to launch a scholarly communication program
Purpose
Martin P. Courtois, Elizabeth C. Turtle
AIM
2004
15 years 6 months ago
Model-Based Programming of Fault-Aware Systems
Brian C. Williams, Michel D. Ingham, Seung Chung, ...