12333 search results - page 2375 / 2467 » System Level Modelling for Hardware Software Systems |
JCC
2010
13 years 6 months ago
2010
Molecular dynamics (MD) simulation involves solving Newton’s equations of motion for a system of atoms, by calculating forces and updating atomic positions and velocities over a...
AIEDU
2010
13 years 3 months ago
2010
Although worked-out examples play a key role in cognitive skill acquisition, research demonstrates that students have various levels of meta-cognitive abilities for using examples ...
CASES
2009
ACM
14 years 2 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
EKAW
1992
Springer
14 years 7 days ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...