This paper describes an efficient error simulator able to analyze functional VHDL descriptions. The proposed simulation environment can be based on commercial VHDL simulators. Al...
How do real, weighted graphs change over time? What patterns, if any, do they obey? Earlier studies focus on unweighted graphs, and, with few exceptions, they focus on static snap...
Interaction patterns and pattern languages have been discussed for years in HCI literature yet there have been few empirical studies conducted. We describe aIRPLane: An Informatio...
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
address (at least three) common problems, and the solution is then abstracted into a pattern. Antipatterns, on the other hand, identify common problems with solutions, and then sho...