2038 search results - page 75 / 408 » Improvements to the Psi-SSA representation |
101
click to vote
HAPTICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. This paper introduces a new pedagogical tool using haptic feedback and visual analogy, to improve perception and learning of nanoscale phenomena, for people without prior...
126
click to vote
SPAA
2009
ACM
16 years 2 months ago
2009
ACM
Informative labeling schemes consist in labeling the nodes of graphs so that queries regarding any two nodes (e.g., are the two nodes adjacent?) can be answered by inspecting mere...
113
Voted
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
104
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
109
click to vote
FM
2001
Springer
15 years 6 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...