Author of the publication

A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.

, and . SEW, page 245-252. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Personalization and the web from a museum perspective, and . Museums and the web 2004, (2004)Select Z Bibliography.. Z User Workshop, page 359-396. Springer/BCS, (1994)Comp.specification.z and Z FORUM Frequently Asked Questions.. Z User Workshop, page 397-403. Springer/BCS, (1994)Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.. IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs., and . FPGA, page 254. ACM, (2004)Z and HOL., and . Z User Workshop, page 141-167. Springer/BCS, (1994)Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net., and . Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 219-233. Springer, (2009)Editorial., , , and . Formal Asp. Comput., 25 (3): 343 (2013)Annotated Z bibliography., , and . Inf. Softw. Technol., 37 (5-6): 317-332 (1995)The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector, , , and . CoRR, (2004)