1170 search results - page 13 / 234 » Between ends and fibers |
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
84
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
FSKD
2005
Springer
15 years 3 months ago
2005
Springer
The development of CAM system for design and manufacturing of end mills becomes a key approach to save the time and reduce cost for end mills manufacturing. This paper presents the...
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
We used diffusion tensor magnetic resonance imaging (DTI) to reveal the extent of genetic effects on brain fiber microstructure, based on tensor-derived measures, in 22 pairs of m...
CANDC
2007
ACM
15 years 1 months ago
2007
ACM
This research explores links between constraint development in creative processes and end user development in environments for creative tasks. A process model describing the devel...