3415 search results - page 69 / 683 » Physical Design Refinement: The |
B
1998
Springer
14 years 3 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
-- Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the final result, often by neg...
CHI
2005
ACM
14 years 11 months ago
2005
ACM
There are a variety of digital tools for enabling people who are physically separated by time and space to communicate and collaborate. Widespread use of some of these tools, such...
CHI
2003
ACM
14 years 11 months ago
2003
ACM
People with motor impairments often cannot use a keyboard or a mouse. Our previous work showed that a handheld device, connected to a PC, could be effective for computer access fo...
AAAI
1994
14 years 3 days ago
1994
One of the original motivations for research in qualitative physics was the development of intelligent tutoring systems and learning environments for physical domains and complex ...