Sciweavers

5241 search results - page 215 / 1049
» Embedded Programming with C
Sort
View
90
Voted
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 5 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 2 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 2 months ago
Using faculty focus groups to launch a scholarly communication program
Purpose
Martin P. Courtois, Elizabeth C. Turtle
AIM
2004
15 years 2 months ago
Model-Based Programming of Fault-Aware Systems
Brian C. Williams, Michel D. Ingham, Seung Chung, ...