1
Cyhoeddwyd 2010
Tabl Cynhwysion: ...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Monitoring and Synthesis -- Newton's Forward Difference Equation for Functions from Words to Words -- Degrees...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- Automatic Construction of Static Evaluation Functions for Computer Game Players -- Databases Reduction...
Cael y testun llawn
Electronig eLyfr