5525 search results - page 984 / 1105 » Verification of Model Transformations |
99
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
92
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— Neurophysiology has revealed the existence of mirror neurons in brain of macaque monkeys and they shows similar activities during executing an observation of goal directed move...
115
Voted
ISBI
2007
IEEE
15 years 7 months ago
2007
IEEE
3D cell culture assays have emerged as the basis of an improved model system for evaluating therapeutic agents, molecular probes, and exogenous stimuli. However, there is a gap in...
123
click to vote
ISQED
2007
IEEE
15 years 7 months ago
2007
IEEE
Due to the roaring power dissipation and gaining popularity of 3D integration, thermal dissipation has been a critical concern of modern VLSI design. The availability for chip-lev...
108
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...