Sciweavers

5241 search results - page 368 / 1049
» Embedded Programming with C
Sort
View
134
Voted
IJCAI
2001
15 years 5 months ago
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
Brian C. Williams, Seung Chung, Vineet Gupta
150
Voted
ENGL
2007
86views more  ENGL 2007»
15 years 3 months ago
Manufacturing Decision-Support using Interactive Meta-Goal Programming
—The benefits of collaborative manufacturing are widely recognized both by the industry and the academic world. However, the engagement of collaborative manufacturing for Small a...
Hao Wen Lin, Sev V. Nagalingam, Grier C. I. Lin
125
Voted
JCP
2007
145views more  JCP 2007»
15 years 3 months ago
AnnAnn and AnnAnn.Net: Tools for Teaching Programming
— It is difficult for a student to learn about programs and to understand the rational that went into the development of the parts that led to the whole. Tools for explaining thi...
Clare J. Hooper, Les Carr, Hugh C. Davis, David E....
144
Voted
CASES
2007
ACM
15 years 7 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
146
Voted
IPPS
2007
IEEE
15 years 10 months ago
Coordinating Data Parallel SAC Programs with S-Net
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...