Sciweavers

1522 search results - page 188 / 305
» Practical Exception Specifications
Sort
View
124
Voted
SODA
2010
ACM
426views Algorithms» more  SODA 2010»
15 years 11 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...
123
Voted
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
87
Voted
ICCAD
2006
IEEE
143views Hardware» more  ICCAD 2006»
15 years 10 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...
95
Voted
ICCAD
2003
IEEE
158views Hardware» more  ICCAD 2003»
15 years 10 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
91
Voted
CSCW
2010
ACM
15 years 10 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...