11588 search results - page 95 / 2318 » Will They Like This |
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
In this paper we demonstrate a framework for efficient development of textual domain specific languages and supporting tools. We use a redundance-free and compact definition of le...
PERCOM
2005
ACM
14 years 9 months ago
2005
ACM
Mobile devices like PDAs or mobile phones have become widespread. Similarly, network functionality like GSM, Bluetooth, or WLAN has become standard. Nevertheless, not many applica...
ICCAD
2008
IEEE
14 years 7 months ago
2008
IEEE
— Double patterning technology (DPT) is a most likely lithography solution for 32/22nm technology nodes as of 2008 due to the delay of Extreme Ultra Violet lithography. However, ...
IEEEARES
2010
IEEE
14 years 5 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
TEI
2010
ACM
14 years 5 months ago
2010
ACM
Relief is an actuated tabletop display, which is able to render and animate three-dimensional shapes with a malleable surface. It allows users to experience and form digital model...