Sciweavers

846 search results - page 9 / 170
» The Use of Z
Sort
View
VISAPP
2008
15 years 8 months ago
Projective Image Alignment by Using ECC Maximization
Georgios D. Evangelidis, Emmanouil Z. Psarakis
94
Voted
JOLPE
2007
40views more  JOLPE 2007»
15 years 6 months ago
Wakeup Scheduling in MTCMOS Circuits Using Successive Relaxation to Minimize Ground Bounce
Anand Ramalingam, Anirudh Devgan, David Z. Pan
AMAST
2004
Springer
15 years 10 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith