Sciweavers

1522 search results - page 188 / 305
» Practical Exception Specifications
Sort
View
SODA
2010
ACM
426views Algorithms» more  SODA 2010»
15 years 12 months ago
Shape Replication Through Self-Assembly and RNase Enzymes
We introduce the problem of shape replication in the Wang tile self-assembly model. Given an input shape, we consider the problem of designing a self-assembly system which will re...
Zachary Abel, Nadia Benbernou, Mirela Damian, Erik...
ESOP
2010
Springer
15 years 11 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
ICCAD
2006
IEEE
143views Hardware» more  ICCAD 2006»
15 years 11 months ago
Molecular organic electronic circuits
Electronic energy disorder associated within amorphous and polycrystaline molecular organic thin film structures strongly affects the macroscopic observable behavior of organic fi...
Vladimir Bulovi, Kevin Ryu, Charles Sodini, Ioanni...
ICCAD
2003
IEEE
158views Hardware» more  ICCAD 2003»
15 years 11 months ago
Approaching the Maximum Energy Saving on Embedded Systems with Multiple Voltages
Dynamic voltage scaling (DVS) is arguably the most effective energy reduction technique. The multiple-voltage DVS systems, which can operate only at pre-determined discrete voltag...
Shaoxiong Hua, Gang Qu
CSCW
2010
ACM
15 years 11 months ago
Interorganizational coordination and awareness in a nonprofit ecosystem
Nonprofit organizations working with high-risk vulnerable populations such as human trafficking victims often need to engage in a significant level of interorganizational collabor...
Jennifer Stoll, W. Keith Edwards, Elizabeth D. Myn...